Skip to content

GitLab

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)
merge request
7413fc76
1 related merge request: !697 Add generalized implication lemma for big_sepM
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