restructure periodic files

17 jobs for offset in 15 minutes and 31 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #72891
1.10.0-coq-8.10

00:14:43

passed #72892
1.10.0-coq-8.11

00:14:45

passed #72890
1.10.0-coq-8.9

00:14:47

passed #72888
1.9.0-coq-8.10

00:14:37

passed #72889
1.9.0-coq-8.11

00:14:44

passed #72887
1.9.0-coq-8.9

00:14:48

passed #72893
build-for-process

00:04:55

passed #72894
build-for-process-classic

00:09:39

failed #72897
allowed to fail
coq-8.10

00:08:01

failed #72898
allowed to fail
coq-dev

00:08:47

passed #72895
proof-length

00:01:48

failed #72896
spell-check

00:01:44

 
  Process
passed #72901
doc

00:01:17

passed #72902
doc-classic

00:01:17

passed #72903
proof-state

00:07:03

passed #72899
validate

00:02:12

passed #72900
validate-classic

00:02:42

 
Name Stage Failure
failed
coq-dev Build
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-prosa dev
+-
- No changes have been performed
'opam install -y -v -j 2 coq-prosa' failed.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
coq-8.10 Build
# 
# make[1]: *** [Makefile:676: classic/implementation/uni/basic/schedule_tdma.vo] Error 1
# make[1]: *** Waiting for unfinished jobs....
# make: *** [Makefile:321: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
spell-check Build
./model/task/arrival/periodic.v: potentially misspelled word 'subnDA'
./model/task/arrival/periodic.v: potentially misspelled word 'succn'
./model/task/arrival/periodic.v: potentially misspelled word 'taskset'
./model/task/arrival/periodic.v: potentially misspelled word 'tsk'
./model/task/arrival/periodic.v: potentially misspelled word 'uneq'
./model/task/arrival/periodic.v: potentially misspelled word 'uniq'
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1