Stream: Coq devs & plugin devs

Topic: Strange CI failure


view this post on Zulip Pierre-Marie Pédrot (Dec 11 2020 at 18:02):

What's going on here: https://gitlab.com/coq/coq/-/pipelines/228451631?

view this post on Zulip Pierre-Marie Pédrot (Dec 11 2020 at 18:03):

ls: cannot access '/builds/coq/coq/_build_ci': No such file or directory

view this post on Zulip Pierre-Marie Pédrot (Dec 11 2020 at 18:03):

All runs are failing that way...

view this post on Zulip Théo Zimmermann (Dec 11 2020 at 18:06):

Must have been an issue with the artifact mechanism. First time I see this.

view this post on Zulip Théo Zimmermann (Dec 11 2020 at 18:06):

I would restart the whole pipeline if I were you.

view this post on Zulip Théo Zimmermann (Dec 11 2020 at 18:07):

Also, we should watch out if it happens again and devise workaround strategies

view this post on Zulip Gaëtan Gilbert (Dec 11 2020 at 18:15):

that ls is allowed to fail, it just means the job has no dependency other than coq itself
the error is /builds/coq/coq/dev/ci/user-overlays/13321-ppedrot-mv-evaluable-global-ref-out-of-kernel.sh: line 3: syntax error near unexpected token fi`


Last updated: Oct 15 2021 at 21:02 UTC