WIP! [OTT|Semantics] Adding protocol dependent operations

3 jobs for julien@proto_ops in 8 minutes and 55 seconds (queued for 1 second)
latest
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