more polish

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

00:13:36

passed #61663
1.10.0-coq-8.11

00:13:42

passed #61661
1.10.0-coq-8.9

00:13:49

passed #61659
1.9.0-coq-8.10

00:13:27

passed #61660
1.9.0-coq-8.11

00:13:34

passed #61658
1.9.0-coq-8.9

00:13:34

passed #61664
build-for-process

00:04:06

passed #61665
build-for-process-classic

00:08:35

passed #61668
coq-8.10

00:12:53

failed #61669
allowed to fail
coq-dev

00:08:40

passed #61666
proof-length

00:01:18

failed #61667
spell-check

00:01:14

 
  Process
passed #61672
doc

00:00:46

passed #61673
doc-classic

00:01:00

passed #61674
proof-state

00:07:23

passed #61670
validate

00:02:08

passed #61671
validate-classic

00:01:44

 
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
spell-check Build
./analysis/abstract/abstract_sbf_rta.v: potentially misspelled word 'SBF'
./analysis/abstract/abstract_sbf_rta.v: potentially misspelled word 'aSBF'
./analysis/abstract/abstract_sbf_rta.v: potentially misspelled word 'complemental'
./analysis/abstract/abstract_sbf_rta.v: potentially misspelled word 'cumul'
./analysis/abstract/abstract_sbf_rta.v: potentially misspelled word 'sched'
./analysis/abstract/abstract_sbf_rta.v: potentially misspelled word 'tsk'
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1