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

2 jobs for master in 6 minutes and 43 seconds
Status Job ID Name Coverage
  Test
failed #2265
coq
iris-coq8.5.3

00:02:00

passed #2266
coq
iris-coq8.6

00:04:42

 
Name Stage Failure
failed
iris-coq8.5.3 Test There is an unknown failure, please try again
theories/prelude/coPset (user: 5.39 mem: 469164 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:19: recipe for target 'all' failed
make: *** [all] Error 2

real 1m2.028s
user 2m18.307s
sys 0m5.607s
ERROR: Build failed: exit code 1