polish comments

17 jobs for offset in 16 minutes and 1 second (queued for 6 seconds)
Status Job ID Name Coverage
  Build
passed #82086
1.10.0-coq-8.10

00:10:17

passed #82087
1.10.0-coq-8.11

00:05:47

passed #82085
1.10.0-coq-8.9

00:05:29

passed #82083
1.9.0-coq-8.10

00:10:49

passed #82084
1.9.0-coq-8.11

00:10:50

passed #82082
1.9.0-coq-8.9

00:10:51

passed #82088
build-for-process

00:02:39

passed #82089
build-for-process-classic

00:03:39

failed #82092
allowed to fail
coq-8.10

00:06:09

failed #82093
allowed to fail
coq-dev

00:06:25

passed #82090
proof-length

00:00:40

passed #82091
spell-check

00:15:59

 
  Process
passed #82096
doc

00:06:52

passed #82097
doc-classic

00:11:40

passed #82098
proof-state

00:08:59

passed #82094
validate

00:01:58

passed #82095
validate-classic

00:01:10

 
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.
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