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

2 jobs for !697 with big-op-impl in 5 minutes and 2 seconds (queued for 7 seconds)
merge request
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 1m58.724s
user 5m27.404s
sys 0m19.692s
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 1m36.499s
user 5m59.460s
sys 0m20.964s
Cleaning up file based variables
ERROR: Job failed: exit code 1