Stream: coqbot devs & users

Topic: CI minimization issues


view this post on Zulip 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.)

view this post on Zulip 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: Jan 31 2023 at 09:01 UTC