use OPAM-based CI

2 jobs for master in 17 minutes and 7 seconds (queued for 4 minutes and 44 seconds)
Status Job ID Name Coverage
  Test
passed #1729
coq
iris-coq8.5.3

00:16:46

failed #1730
coq
iris-coq8.6beta

00:00:21

 
Name Stage Failure
failed
iris-coq8.6beta Test There is an unknown failure, please try again
Pulling docker image ralfjung/opam-ci:latest ...
Running on runner-ec339fa3-project-118-concurrent-0 via wks-56-21...
Cloning repository...
Cloning into '/builds/FP/iris-coq'...
Checking out 99470279 as master...
Checking cache for coq8.6...
$ . build/opam-ci.sh 'coq 8.6.dev 'coq-mathcomp-ssreflect dev'
/usr/bin/bash: eval: line 43: unexpected EOF while looking for matching `''
ERROR: Build failed: exit code 2