Done with aRTA+ and aRTA

17 jobs for da3 in 15 minutes and 10 seconds
Status Job ID Name Coverage
  Build
passed #61760
1.10.0-coq-8.10

00:13:16

passed #61761
1.10.0-coq-8.11

00:13:22

passed #61759
1.10.0-coq-8.9

00:13:13

passed #61757
1.9.0-coq-8.10

00:13:01

passed #61758
1.9.0-coq-8.11

00:13:22

passed #61756
1.9.0-coq-8.9

00:13:20

passed #61762
build-for-process

00:03:58

passed #61763
build-for-process-classic

00:08:39

failed #61766
allowed to fail
coq-8.10

00:08:28

failed #61767
allowed to fail
coq-dev

00:08:34

failed #61764
proof-length

00:01:08

failed #61765
spell-check

00:01:08

 
  Process
passed #61770
doc

00:05:21

passed #61771
doc-classic

00:01:10

passed #61772
proof-state

00:04:13

passed #61768
validate

00:02:00

passed #61769
validate-classic

00:02:48

 
Name Stage Failure
failed
coq-dev Build

<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-prosa dev
+-
- No changes have been performed
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
proof-length Build
Restoring cache
Downloading artifacts
Running before_script and script
$ scripts/proofloc.py --check --long-proofs scripts/known-long-proofs.json `find . -iname *.v`
Checked 1831 proofs in 319 files, while skipping 149 known long proofs.
Warning: new long proof of uniprocessor_response_time_bound_ideal in ./analysis/abstract/abstract_rta.v:611!
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1
failed
spell-check Build
./analysis/abstract/run_to_completion.v: potentially misspelled word 'todo'
./analysis/abstract/definitions.v: potentially misspelled word 'cumul'
./analysis/abstract/definitions.v: potentially misspelled word 'forall'
./analysis/abstract/definitions.v: potentially misspelled word 'tsk'
./analysis/abstract/abstract_rta.v: potentially misspelled word 'fixpoint'
./analysis/abstract/abstract_rta.v: potentially misspelled word 'sp'
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1