Add periodic task model

12 jobs for master in 3 minutes and 54 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
passed #51730
1.9.0-coq-8.10

00:01:48

passed #51731
1.9.0-coq-8.10-classic

00:02:52

passed #51734
1.9.0-coq-8.9

00:01:46

failed #51735
allowed to fail
1.9.0-coq-dev

00:02:18

passed #51736
latest-coq-8.10

00:01:45

passed #51732
proof-length

00:00:22

passed #51733
spell-check

00:00:32

 
  Process
passed #51739
doc

00:00:30

passed #51740
doc-classic

00:00:31

passed #51741
proof-state

00:02:03

passed #51737
validate

00:00:56

passed #51738
validate-classic

00:00:58

 
Name Stage Failure
failed
1.9.0-coq-dev Build
COQC model/task/suspension/dynamic.v
COQC analysis/transform/prefix.v
File "./analysis/facts/preemption/task/limited.v", line 71, characters 8-87:
Error: No applicable tactic.

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