WIP: subject reducion

3 jobs for rafoo@meta_theory in 7 minutes and 23 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #493186132
coq

00:06:58

failed #493186127
coq:8.8

00:06:32

failed #493186130
coq:8.9

00:07:23

 
Name Stage Failure
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
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