[Michocoq|Syntax] or notation

4 jobs for [email protected]_notations in 6 minutes and 23 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
failed #471239086
coq:8.10

00:06:22

failed #471239087
coq:8.11

00:06:02

failed #471239082
coq:8.8

00:05:25

failed #471239084
coq:8.9

00:05:11

 
Name Stage Failure
failed
coq:8.10 Build
| - install zarith        1.9.1
+-
[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-20200313163014.export"
Running after script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.11 Build
| - install zarith        1.9.1
+-
[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-20200313163020.export"
Running after script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
| - install zarith        1.9.1
+-
[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-20200313162952.export"
Running after script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq:8.9 Build
| - install zarith        1.9.1
+-
[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-20200313162945.export"
Running after script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1