Needed fix (bug?)

2 jobs for !701 with modes-broken in 9 minutes and 52 seconds (queued for 4 seconds)
detached
Status Job ID Name Coverage
  Build
failed build-coq.8.12.2 #131899
fp

00:09:51

failed build-coq.dev #131898
fp

00:08:54

 
Name Stage Failure
failed
build-coq.8.12.2 Build
make[1]: *** [all] Error 2
Makefile:3: recipe for target 'all' failed
make: *** [all] Error 2

real 6m18.848s
user 24m29.032s
sys 1m7.424s
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
build-coq.dev Build
make[1]: *** [all] Error 2
Makefile:3: recipe for target 'all' failed
make: *** [all] Error 2

real 5m0.495s
user 18m42.040s
sys 1m4.936s
Cleaning up file based variables
ERROR: Job failed: exit code 1