small style improvements

17 jobs for impl-uni-sched in 10 minutes and 42 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #79468
1.10.0-coq-8.10

00:10:27

passed #79469
1.10.0-coq-8.11

00:05:26

passed #79467
1.10.0-coq-8.9

00:10:28

passed #79465
1.9.0-coq-8.10

00:10:27

passed #79466
1.9.0-coq-8.11

00:10:36

passed #79464
1.9.0-coq-8.9

00:10:38

passed #79470
build-for-process

00:02:00

passed #79471
build-for-process-classic

00:03:37

failed #79474
allowed to fail
coq-8.10

00:06:12

failed #79475
allowed to fail
coq-dev

00:07:54

passed #79472
proof-length

00:00:09

passed #79473
spell-check

00:00:59

 
  Process
passed #79478
doc

00:01:32

passed #79479
doc-classic

00:00:32

passed #79480
proof-state

00:08:01

passed #79476
validate

00:02:26

passed #79477
validate-classic

00:02:35

 
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