update oi.v

17 jobs for oio in 6 minutes and 53 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #77656
1.10.0-coq-8.10

00:06:39

passed #77657
1.10.0-coq-8.11

00:06:51

passed #77655
1.10.0-coq-8.9

00:05:26

failed #77653
1.9.0-coq-8.10

00:01:31

passed #77654
1.9.0-coq-8.11

00:06:52

passed #77652
1.9.0-coq-8.9

00:05:41

passed #77658
build-for-process

00:02:08

passed #77659
build-for-process-classic

00:03:35

failed #77662
allowed to fail
coq-8.10

00:03:22

failed #77663
allowed to fail
coq-dev

00:06:37

failed #77660
proof-length

00:00:40

failed #77661
spell-check

00:00:44

 
  Process
passed #77666
doc

00:00:49

passed #77667
doc-classic

00:01:10

passed #77668
proof-state

00:04:08

passed #77664
validate

00:01:35

passed #77665
validate-classic

00:02:13

 
Name Stage Failure
failed
coq-dev Build
# Warning: omega is deprecated since 8.12; use “lia” instead.
# [omega-is-deprecated,deprecated]
# File "./classic/analysis/uni/basic/tdma_wcrt_analysis.v", line 811, characters 90-126:
# Warning: omega is deprecated since 8.12; use “lia” instead.
# [omega-is-deprecated,deprecated]
# make: *** [Makefile:343: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
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.
ERROR: Job failed: exit code 1
failed
1.9.0-coq-8.10 Build
Skipping Git submodules setup
Executing "step_script" stage of the job script
$ opam update -y

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[coq-released] synchronised from https://coq.inria.fr/opam/released
[ERROR] Could not update repository "default": OpamDownload.Download_fail(_, "Curl failed: \"/usr/bin/curl --write-out %{http_code}\\\\n --retry 3 --retry-delay 2 --user-agent opam/2.0.7 -L -o /tmp/opam-12-ccabea/index.tar.gz.part https://opam.ocaml.org/index.tar.gz\" exited with code 56")
Now run 'opam upgrade' to apply any package updates.
ERROR: Job failed: exit code 1
failed
spell-check Build
./analysis/facts/sporadic.v: potentially misspelled word 'lt'
./analysis/facts/sporadic.v: potentially misspelled word 'ltnP'
./analysis/facts/sporadic.v: potentially misspelled word 'mem'
./analysis/facts/sporadic.v: potentially misspelled word 'nat'
./analysis/facts/sporadic.v: potentially misspelled word 'orP'
./analysis/facts/sporadic.v: potentially misspelled word 'ssromega'
./analysis/facts/sporadic.v: potentially misspelled word 'tsk'
./analysis/facts/sporadic.v: potentially misspelled word 'uniq'
ERROR: Job failed: exit code 1
failed
proof-length Build
Skipping Git submodules setup
Executing "step_script" stage of the job script
$ scripts/proofloc.py --check --long-proofs scripts/known-long-proofs.json `find . -iname *.v`
Warning: new long proof of nat_3 in ./analysis/facts/oi.v:237!
Warning: new long proof of nat_4 in ./analysis/facts/oi.v:372!
Warning: new long proof of corresponding_job_arrives in ./analysis/facts/oi.v:525!
Warning: new long proof of job_sep_periodic_induction in ./analysis/facts/periodic/index.v:55!
Checked 1892 proofs in 331 files, while skipping 149 known long proofs.
ERROR: Job failed: exit code 1