WIP CI

8 jobs for ci/opam2 in 1 minute and 55 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
failed #17748
fp
build-coq.8.6.0

00:00:28

failed #17747
fp
build-coq.8.6.1

00:00:29

failed #17746
fp
build-coq.8.7.0

00:00:29

failed #17745
fp
build-coq.8.7.1

00:00:25

failed #17744
fp-timing
build-coq.8.7.2

00:00:27

failed #17743
fp-timing
build-coq.8.8.0

00:00:25

failed #17742
fp
build-coq.8.8.1

00:00:24

failed #17741
fp
build-coq.dev

00:00:29

 
Name Stage Failure
failed
build-coq.8.6.0 Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.8.6.0...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1
failed
build-coq.8.7.2 Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.8.7.2...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1
failed
build-coq.8.6.1 Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.8.6.1...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1
failed
build-coq.8.7.0 Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.8.7.0...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1
failed
build-coq.8.7.1 Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.8.7.1...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1
failed
build-coq.8.8.0 Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.8.8.0...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1
failed
build-coq.8.8.1 Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.8.8.1...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1
failed
build-coq.dev Build
Cloning into '/builds/robbertkrebbers/coq-stdpp/ci'...
Submodule path 'ci': checked out '0a8b2f3f15de414a3cbd365e6e4d54466f004e9d'
Checking cache for build-coq.dev...
Successfully extracted cache
$ ci/buildjob
grep: /home/ci/.opam/config: No such file or directory
[prepare-opam] Re-using cached opam root
ci/prepare-opam.sh: eval: line 23: unexpected EOF while looking for matching `''
ERROR: Job failed: exit code 1