Jason Gross (May 27 2021 at 20:29): Jason Gross (May 27 2021 at 20:29):Argh, currently CI minimization fails on fourcolor because mathcomp includes files that are checked in with \r\n line endings. (And Coq emits byte offsets in the glob files whereas my script reads in files as text.)
Jason Gross (May 28 2021 at 21:36):Now fixed, CI minimization can handle fourcolor and any other developments that check in \r\n line endings
Last updated: May 28 2023 at 18:29 UTC