Pierre-Marie Pédrot (Dec 11 2020 at 18:02): Pierre-Marie Pédrot (Dec 11 2020 at 18:02):What's going on here: https://gitlab.com/coq/coq/-/pipelines/228451631?
Pierre-Marie Pédrot (Dec 11 2020 at 18:03):ls: cannot access '/builds/coq/coq/_build_ci': No such file or directory
All runs are failing that way...
Théo Zimmermann (Dec 11 2020 at 18:06):Must have been an issue with the artifact mechanism. First time I see this.
Théo Zimmermann (Dec 11 2020 at 18:06):I would restart the whole pipeline if I were you.
Théo Zimmermann (Dec 11 2020 at 18:07):Also, we should watch out if it happens again and devise workaround strategies
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 13 2024 at 01:02 UTC