Let iLöb automatically revert and introduce spatial hypotheses.

1 job for master
Status Name Job ID Coverage
  Test
failed buildjob #316
coq

00:03:02

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
make[1]: *** Waiting for unfinished jobs....
heap_lang/lib/spawn (user: 7.20 mem: 515484 ko)
tests/one_shot (user: 11.86 mem: 524236 ko)
heap_lang/lib/barrier/proof (user: 25.20 mem: 553560 ko)
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:3: recipe for target 'all' failed
make: *** [all] Error 2

ERROR: Build failed with: exit code 1