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)
Let's ask @Jason Gross to investigate.
Sorry, this is my fault, I'll fix it within an hour or so
It should be fixed now, sorry about that.
Should be actually fixed now, I retriggered all the jobs a second time (and sorry for the noise)
Last updated: Oct 16 2021 at 03:02 UTC