Skip to content

GitLab

WIP

12 jobs for split-classic-ci in 4 minutes and 17 seconds (queued for 4 seconds)
8ab5a3f2
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #49718
1.9.0-coq-8.10

00:02:09

passed #49719
1.9.0-coq-8.10-classic

00:03:18

passed #49722
1.9.0-coq-8.9

00:02:07

failed #49723
allowed to fail
1.9.0-coq-dev

00:01:28

passed #49724
latest-coq-8.10

00:02:09

passed #49720
proof-length

00:00:23

passed #49721
spell-check

00:00:36

 
  Process
passed #49727
doc

00:00:21

passed #49728
doc-classic

00:00:30

passed #49729
proof-state

00:01:51

passed #49725
validate

00:00:49

passed #49726
validate-classic

00:00:56

 
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