Makefile: allow alectryon to work in parallel

16 jobs for !136 with wip-alectryon in 16 minutes and 34 seconds (queued for 8 minutes and 50 seconds)
detached
Status Job ID Name Coverage
  Build
passed 1.10.0-coq-8.11 #136385

00:04:06

passed 1.11.0-coq-8.11 #136386

00:04:10

passed 1.11.0-coq-8.12 #136387

00:03:30

passed 1.12.0-coq-8.13 #136388

00:03:07

passed compile #136389

00:01:03

passed compile-classic #136390

00:01:55

passed coq-8.13 #136393

00:03:02

failed coq-dev #136449
allowed to fail

00:00:38

passed proof-length #136391

00:00:07

passed proof-state #136395

00:06:22

passed spell-check #136392

00:00:12

failed coq-dev #136394
allowed to fail

00:04:30

 
  Process
passed doc #136398

00:00:14

passed doc-classic #136399

00:00:27

passed validate #136396

00:00:44

passed validate-classic #136397

00:01:05

 
Name Stage Failure
failed
coq-dev Build
# Use iotaD instead. [deprecated-syntactic-definition,deprecated]
# File "./util/nondecreasing.v", line 632, characters 27-35:
# Warning: Notation iota_add is deprecated since mathcomp 1.13.0.
# Use iotaD instead. [deprecated-syntactic-definition,deprecated]
# make: *** [Makefile:386: all] Error 2

'opam install -y -v -j 2 coq-prosa' failed.
Cleaning up file based variables
ERROR: Job failed: exit code 1