Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq

2 jobs for master
Status Name Job ID Coverage
  Test
failed buildjob #17
coq

00:02:37

failed buildjob #7
coq

00:02:36

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
make[1]: *** [barrier/barrier.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
Makefile.coq:322: recipe for target 'barrier/barrier.vo' failed
Closed under the global context
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:4: recipe for target 'all' failed
make: *** [all] Error 2

ERROR: Build failed with: exit code 1