Higher cost for [elim_modal_fupd_fupd to give priority on [elim_modal_step_fupd.

1 job for master in 3 minutes (queued for 1 second)
Status Job ID Name Coverage
  Test
failed #1562
coq
buildjob

00:03:00

 
Name Stage Failure
failed
buildjob Test There is an unknown failure, please try again
program_logic/weakestpre (user: 4.34 mem: 491652 ko)
Makefile.coq:393: recipe for target 'program_logic/weakestpre.vo' failed
make[1]: *** [program_logic/weakestpre.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
base_logic/lib/invariants (user: 5.04 mem: 490840 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