make --only-classic skip prosa.implementation module

17 jobs for impl-uni-sched in 21 minutes and 52 seconds (queued for 1 minute and 57 seconds)
Status Job ID Name Coverage
  Build
passed #61501
1.10.0-coq-8.10

00:12:16

passed #61502
1.10.0-coq-8.11

00:11:24

passed #61500
1.10.0-coq-8.9

00:12:11

passed #61498
1.9.0-coq-8.10

00:11:09

passed #61499
1.9.0-coq-8.11

00:11:53

passed #61497
1.9.0-coq-8.9

00:11:47

passed #61503
build-for-process

00:04:18

passed #61504
build-for-process-classic

00:08:39

passed #61507
coq-8.10

00:09:41

passed #61508
coq-dev

00:09:44

passed #61505
proof-length

00:00:32

passed #61506
spell-check

00:00:57

 
  Process
passed #61511
doc

00:00:45

passed #61512
doc-classic

00:01:08

passed #61513
proof-state

00:05:56

passed #61509
validate

00:02:01

passed #61510
validate-classic

00:02:15