Finished the implementation of the Caml Case version of FA1.2.

Status Job ID Name Coverage
  Build
failed #745800039
coq:8.10

00:04:32

failed #745800042
coq:8.11

00:11:00

failed #745800031
coq:8.8

00:04:05

failed #745800035
coq:8.9

00:04:26

 
Name Stage Failure
failed
coq:8.11 Build
| - install menhirLib           20200624
| - install menhirSdk 20200624
| - install ocamlbuild 0.14.0
| - install ott 0.31
+-

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200918151848.export"
ERROR: Job failed: exit code 1
failed
coq:8.10 Build
| - install ocamlbuild          0.14.0
| - install ott 0.31
+-

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200918151617.export"
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.9 Build
| - install ocamlbuild          0.14.0
| - install ott 0.31
+-

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200918151616.export"
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
| - install ocamlbuild          0.14.0
| - install ott 0.31
+-

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200918151617.export"
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1