[Build] WIP: project dunification

4 jobs for julien@dunify in 11 minutes and 15 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
failed #567952326
coq

00:03:21

failed #567952319
coq:8.8

00:02:44

failed #567952320
coq:8.9

00:03:01

failed #567952331
test:docker

00:11:14

 
Name Stage Failure
failed
test:docker Build
+- The following actions failed
| - build coq-albert dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
The command '/bin/sh -c opam install -y -j ${NJOBS} --with-test .' returned a non-zero code: 31
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 31
failed
coq:8.9 Build
[ERROR] No solution for coq-albert: The following dependencies couldn't be met:
- coq-albert -> dune >= 2.5.0
not available because the package is pinned to version 2.4.0


Command failed: opam list --readonly --external --resolve=coq-albert returned 20
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq Build
[ERROR] No solution for coq-albert: The following dependencies couldn't be met:
- coq-albert -> dune >= 2.5.0
not available because the package is pinned to version 2.4.0


Command failed: opam list --readonly --external --resolve=coq-albert returned 20
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
[ERROR] No solution for coq-albert: The following dependencies couldn't be met:
- coq-albert -> dune >= 2.5.0
not available because the package is pinned to version 2.4.0


Command failed: opam list --readonly --external --resolve=coq-albert returned 20
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1