WIP: self and param

4 jobs for [email protected] in 7 minutes and 50 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
failed #601355459
coq:8.10

00:07:50

failed #601355461
coq:8.11

00:07:25

failed #601355456
coq:8.8

00:06:29

failed #601355458
coq:8.9

00:06:54

 
Name Stage Failure
failed
coq:8.10 Build
| - install menhirSdk           20200612
| - install ocamlbuild 0.14.0
| - install ott 0.30
| - install zarith 1.9.1
+-

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200618140545.export"
ERROR: Job failed: exit code 1
failed
coq:8.11 Build
| - install menhirSdk           20200612
| - install ocamlbuild 0.14.0
| - install ott 0.30
| - install zarith 1.9.1
+-

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200618140536.export"
ERROR: Job failed: exit code 1
failed
coq:8.9 Build
| - install menhirSdk           20200612
| - install ocamlbuild 0.14.0
| - install ott 0.30
| - install zarith 1.9.1
+-

The former state can be restored with:
opam switch import "/home/coq/.opam/4.07.1+flambda/.opam-switch/backup/state-20200618140519.export"
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
| - install menhirSdk           20200612
| - install ocamlbuild 0.14.0
| - install ott 0.30
| - install zarith 1.9.1
+-

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