Apply 4 suggestion(s) to 1 file(s)

2 jobs for !697 with big-op-impl in 3 minutes and 53 seconds (queued for 3 seconds)
detached
Status Name Job ID Coverage
  Build
failed build-coq.8.12.2 #138231
fp

00:02:54

failed build-coq.dev #138230
fp

00:03:53

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

real 1m57.575s
user 5m5.580s
sys 0m19.088s
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
build-coq.8.12.2 Build
make[1]: *** [all] Error 2
Makefile:3: recipe for target 'all' failed
make: *** [all] Error 2

real 1m32.297s
user 5m28.108s
sys 0m20.076s
Cleaning up file based variables
ERROR: Job failed: exit code 1