WIP! [OTT|Semantics] Adding protocol dependent operations

4 jobs for julien@proto-ops in 10 minutes and 14 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #590260471
coq

00:01:52

failed #590260468
coq:8.8

00:01:42

failed #590260469
coq:8.9

00:01:55

failed #590260472
test:docker

00:10:13

 
Name Stage Failure
failed
coq Build
Skipping Git submodules setup
Restoring cache
Downloading artifacts
Running before_script and script
$ bash lint.sh
file extraction/.gitignore is not terminated by a newline character
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
test:docker Build
+- The following actions failed
| - build coq-albert dev
+-
- No changes have been performed
# Run eval $(opam env) to update the current shell environment
The command '/bin/sh -c opam install -y -j ${NJOBS} --with-test .' returned a non-zero code: 31
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 31
failed
coq:8.8 Build
Skipping Git submodules setup
Restoring cache
Downloading artifacts
Running before_script and script
$ bash lint.sh
file extraction/.gitignore is not terminated by a newline character
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.9 Build
Skipping Git submodules setup
Restoring cache
Downloading artifacts
Running before_script and script
$ bash lint.sh
file extraction/.gitignore is not terminated by a newline character
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1