add notion of deterministic schedule

17 jobs for oi in 14 minutes and 57 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #71970
1.10.0-coq-8.10

00:13:52

passed #71971
1.10.0-coq-8.11

00:13:56

passed #71969
1.10.0-coq-8.9

00:13:32

passed #71967
1.9.0-coq-8.10

00:13:55

passed #71968
1.9.0-coq-8.11

00:13:56

passed #71966
1.9.0-coq-8.9

00:13:32

passed #71972
build-for-process

00:03:33

passed #71973
build-for-process-classic

00:07:44

failed #71976
allowed to fail
coq-8.10

00:08:06

failed #71977
allowed to fail
coq-dev

00:09:53

passed #71974
proof-length

00:01:59

failed #71975
spell-check

00:01:51

 
  Process
passed #71980
doc

00:04:10

passed #71981
doc-classic

00:01:18

passed #71982
proof-state

00:04:18

passed #71978
validate

00:04:19

passed #71979
validate-classic

00:02:50

 
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
<><> 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
spell-check Build
$ scripts/flag-typos-in-comments.sh `find .  -iname '*.v' ! -path './classic/*'`
./analysis/definitions/carry_in.v: potentially misspelled word 'occured'
./analysis/definitions/job_properties.v: potentially misspelled word 'eq'
./analysis/definitions/job_properties.v: potentially misspelled word 'forall'
./analysis/definitions/job_properties.v: potentially misspelled word 'nat'
./analysis/definitions/job_properties.v: potentially misspelled word 'params'
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1