WIP

12 jobs for split-classic-ci in 5 minutes and 15 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #49698
1.9.0-coq-8.10

00:01:46

passed #49699
1.9.0-coq-8.10-classic

00:03:31

passed #49702
1.9.0-coq-8.9

00:01:43

failed #49703
allowed to fail
1.9.0-coq-dev

00:01:07

passed #49704
allowed to fail
latest-coq-8.10

00:01:43

passed #49700
proof-length

00:00:24

passed #49701
spell-check

00:00:33

 
  Process
passed #49707
doc

00:00:21

passed #49708
doc-classic

00:00:50

passed #49709
proof-state

00:03:20

passed #49705
validate

00:00:59

passed #49706
validate-classic

00:01:42

 
Name Stage Failure
failed
1.9.0-coq-dev Build
COQC restructuring/analysis/facts/preemption/task/floating.v
COQC restructuring/analysis/transform/prefix.v
File "./restructuring/analysis/facts/preemption/task/floating.v", line 69, characters 8-87:
Error: No applicable tactic.

make[1]: *** [Makefile:679: restructuring/analysis/facts/preemption/task/floating.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
make: *** [Makefile:327: all] Error 2
ERROR: Job failed: exit code 1