Skip to content

GitLab

WIP: subject reducion

3 jobs for rafoo@meta_theory in 7 minutes and 23 seconds (queued for 1 second)
latest
f65cf063
1 related merge request: !14 WIP: Subject reduction for the base + toplevel fragment
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