minor

6 jobs for martin in 1 minute and 54 seconds
latest
Status Job ID Name Coverage
  Build
passed #40565
1.8.0-coq-8.8

00:01:54

failed #40567
1.9.0-coq-8.9

00:00:24

failed #40566
allowed to fail
1.9.0-coq-dev

00:01:14

 
  Process
skipped #40569
doc
skipped #40570
proof-length
skipped #40568
validate
 
Name Stage Failure
failed
1.9.0-coq-dev Build There is an unknown failure, please try again
COQC util/powerset.v
COQC util/seqset.v
File "./util/seqset.v", line 19, characters 42-52:
Error: The reference mkPredType was not found in the current environment.

make[1]: *** [Makefile:659: util/seqset.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
make: *** [Makefile:321: all] Error 2
ERROR: Job failed: exit code 1
failed
1.9.0-coq-8.9 Build There is an unknown failure, please try again
make[1]: *** Waiting for unfinished jobs....
Warning: eq_big_perm is deprecated; use perm_big instead
Warning: perm_eq_sym is deprecated; use perm_sym instead
Warning: perm_eq_sym is deprecated; use perm_sym instead
Warning: eq_big_perm is deprecated; use perm_big instead
Warning: perm_eq_sym is deprecated; use perm_sym instead
Warning: perm_eq_sym is deprecated; use perm_sym instead
make: *** [Makefile:327: all] Error 2
ERROR: Job failed: exit code 1