Stream: Coq devs & plugin devs

Topic: CI failure: ci-coq_tools


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

view this post on Zulip Théo Zimmermann (May 28 2021 at 08:47):

Let's ask @Jason Gross to investigate.

view this post on Zulip Jason Gross (May 28 2021 at 12:54):

Sorry, this is my fault, I'll fix it within an hour or so

view this post on Zulip Jason Gross (May 28 2021 at 14:05):

It should be fixed now, sorry about that.

view this post on Zulip 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: Oct 16 2021 at 03:02 UTC