Skip to content

GitLab

R
rt-proofs

Added restricted supply processor

17 jobs for aSBF in 14 minutes and 22 seconds
3794c6bc
3 related merge requests: !92 WIP : Restricted Supply 3 related merge requests: !92 WIP : Restricted Supply, !15 WIP : Restricted Supply, !90 WIP : Restricted Supply
Status Job ID Name Coverage
  Build
passed #60448
1.10.0-coq-8.10

00:14:00

passed #60449
1.10.0-coq-8.11

00:14:02

passed #60447
1.10.0-coq-8.9

00:14:02

passed #60445
1.9.0-coq-8.10

00:13:56

passed #60446
1.9.0-coq-8.11

00:14:01

passed #60444
1.9.0-coq-8.9

00:14:01

passed #60450
build-for-process

00:03:34

passed #60451
build-for-process-classic

00:08:08

passed #60454
coq-8.10

00:12:53

passed #60455
coq-dev

00:12:36

passed #60452
proof-length

00:01:23

failed #60453
spell-check

00:01:23

 
  Process
passed #60458
doc

00:00:47

passed #60459
doc-classic

00:01:15

passed #60460
proof-state

00:07:56

passed #60456
validate

00:02:01

passed #60457
validate-classic

00:02:52

 
Name Stage Failure
failed
spell-check Build 
Skipping Git submodules setup
$ scripts/flag-typos-in-comments.sh `find .  -iname '*.v' ! -path './classic/*'`
./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'
ERROR: Job failed: exit code 1