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

1 job for master in 1 minute and 28 seconds
Status Job ID Name Coverage
  Test
failed #1645
coq
buildjob

00:01:28

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
make[1]: *** Waiting for unfinished jobs....
base_logic/upred (user: 1.79 mem: 460120 ko)
algebra/updates (user: 2.11 mem: 460184 ko)
algebra/local_updates (user: 2.91 mem: 461636 ko)
heap_lang/tactics (user: 4.56 mem: 481336 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:13: recipe for target 'all' failed
make: *** [all] Error 2
ERROR: Build failed: exit code 1