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