rename adequate_safe -> adequate_not_stuck

5 jobs for master in 2 minutes and 51 seconds (queued for 45 seconds)
Status Job ID Name Coverage
  Build
failed #6302
fp-timing
build-coq.8.6.1

00:02:39

failed #6301
fp-timing
build-coq.8.7.0

00:02:32

 
  Deploy
skipped #6303
opam
skipped #6304
reverse-deps
 
  Build More
skipped #6305
fp-timing
build-coq.8.7.dev
 
Name Stage Failure
failed
build-coq.8.6.1 Build There is an unknown failure, please try again
make[1]: Target 'all' not remade because of errors.
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 1m35.818s
user 5m13.950s
sys 0m16.773s
ERROR: Job failed: exit code 1
failed
build-coq.8.7.0 Build There is an unknown failure, please try again
make[1]: *** [all] Error 2
make[1]: Leaving directory '/builds/FP/iris-coq'
Makefile:6: recipe for target 'all' failed
make: *** [all] Error 2

real 1m28.691s
user 4m42.863s
sys 0m16.457s
ERROR: Job failed: exit code 1