What's going on here: https://gitlab.com/coq/coq/-/pipelines/228451631?
ls: cannot access '/builds/coq/coq/_build_ci': No such file or directory
All runs are failing that way...
Must have been an issue with the artifact mechanism. First time I see this.
I would restart the whole pipeline if I were you.
Also, we should watch out if it happens again and devise workaround strategies
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: Nov 29 2023 at 18:01 UTC