resolve threads

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

00:15:23

passed #72875
1.10.0-coq-8.11

00:15:23

passed #72873
1.10.0-coq-8.9

00:15:17

passed #72871
1.9.0-coq-8.10

00:15:17

passed #72872
1.9.0-coq-8.11

00:15:21

passed #72870
1.9.0-coq-8.9

00:15:21

passed #72876
build-for-process

00:05:20

passed #72877
build-for-process-classic

00:07:31

failed #72880
allowed to fail
coq-8.10

00:08:46

failed #72881
allowed to fail
coq-dev

00:09:37

passed #72878
proof-length

00:02:19

passed #72879
spell-check

00:02:07

 
  Process
passed #72884
doc

00:00:47

passed #72885
doc-classic

00:01:20

passed #72886
proof-state

00:06:29

passed #72882
validate

00:02:12

passed #72883
validate-classic

00:03:07

 
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