get the Hint working

17 jobs for offset in 20 minutes and 27 seconds (queued for 9 seconds)
Status Job ID Name Coverage
  Build
passed #79436
1.10.0-coq-8.10

00:07:04

passed #79437
1.10.0-coq-8.11

00:05:24

passed #79435
1.10.0-coq-8.9

00:05:16

passed #79433
1.9.0-coq-8.10

00:07:03

passed #79434
1.9.0-coq-8.11

00:20:15

passed #79432
1.9.0-coq-8.9

00:20:24

passed #79438
build-for-process

00:02:04

passed #79439
build-for-process-classic

00:05:04

failed #79442
allowed to fail
coq-8.10

00:04:22

failed #79443
allowed to fail
coq-dev

00:05:06

passed #79440
proof-length

00:16:30

passed #79441
spell-check

00:00:59

 
  Process
passed #79446
doc

00:00:44

passed #79447
doc-classic

00:00:33

passed #79448
proof-state

00:05:02

passed #79444
validate

00:02:49

passed #79445
validate-classic

00:01:40

 
Name Stage Failure
failed
coq-dev Build
'opam install -y -v -j 2 coq-prosa' failed.


<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build coq-prosa dev
+-
- No changes have been performed
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