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

1 job for master in 3 minutes and 55 seconds
Status Job ID Name Coverage
  Test
failed #987
coq
buildjob

00:03:55

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
heap_lang/lib/spin_lock (user: 7.55 mem: 510852 ko)
heap_lang/lib/spawn (user: 7.81 mem: 513244 ko)
heap_lang/lib/counter (user: 19.86 mem: 554692 ko)
heap_lang/lib/ticket_lock (user: 28.61 mem: 583512 ko)
heap_lang/lib/barrier/proof (user: 30.59 mem: 570992 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:7: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Build failed: exit code 1