Skip to content

GitLab

WIP! [OTT|Semantics] Adding protocol dependent operations

3 jobs for julien@proto_ops in 8 minutes and 55 seconds (queued for 1 second)
latest
fa1df18b
1 related merge request: !7 WIP: Adding protocol specific operations
Status Job ID Name Coverage
  Build
failed #373474621
coq

00:08:04

failed #373474618
coq:8.8

00:07:26

failed #373474619
coq:8.9

00:08:55

 
Name Stage Failure
failed
coq:8.8 Build 
| - install ppxfind                 1.3
| - install result                  1.4
+- 
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
    opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20191209124848.export"
ERROR: Job failed: exit code 1
failed
coq:8.9 Build 
| - install ppxfind                 1.3
| - install result                  1.4
+- 
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
    opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20191209125005.export"
ERROR: Job failed: exit code 1
failed
coq Build 
| - install ppxfind                 1.3
| - install result                  1.4
+- 
# Run eval $(opam env) to update the current shell environment
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
    opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20191209124920.export"
ERROR: Job failed: exit code 1