Michael Soegtrop (May 28 2021 at 08:02): Michael Soegtrop (May 28 2021 at 08:02):I see random CI failures for coq-coq_tools, which are hard to analyze, because the log seems to contain many occurrences of the word "error" even in the good case. Does someone know what this is about?
Some failing cases:
https://github.com/coq/coq/runs/2690004952 (master by @Enrico Tassi from today)
https://github.com/coq/coq/runs/2691859688 (master by me from today)
https://github.com/coq/coq/pull/14293/checks?check_run_id=2692198350 (PR from me, did work before - I just changed a change log entry)
Théo Zimmermann (May 28 2021 at 08:47):Let's ask @Jason Gross to investigate.
Jason Gross (May 28 2021 at 12:54):Sorry, this is my fault, I'll fix it within an hour or so
Jason Gross (May 28 2021 at 14:05):It should be fixed now, sorry about that.
Jason Gross (May 28 2021 at 14:31):Should be actually fixed now, I retriggered all the jobs a second time (and sorry for the noise)
Last updated: May 31 2023 at 16:01 UTC