WIP custom labels

3 jobs for julien@custom_label in 8 minutes and 2 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #492452542
coq

00:07:48

failed #492452540
coq:8.8

00:06:50

failed #492452541
coq:8.9

00:08:01

 
Name Stage Failure
failed
coq:8.9 Build
+- The following actions failed
| - build albert ~dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
+- The following actions failed
| - build albert ~dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq Build
+- The following actions failed
| - build albert ~dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1