CI: compile classic and new Prosa separately

For improved parallelism and nicer documentation.
12 jobs for split-classic-ci in 6 minutes and 24 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #49735
1.9.0-coq-8.10

00:02:58

passed #49736
1.9.0-coq-8.10-classic

00:05:08

passed #49739
1.9.0-coq-8.9

00:02:55

failed #49740
allowed to fail
1.9.0-coq-dev

00:01:40

passed #49741
allowed to fail
latest-coq-8.10

00:02:48

passed #49737
proof-length

00:00:30

passed #49738
spell-check

00:00:42

 
  Process
passed #49744
doc

00:00:36

passed #49745
doc-classic

00:00:41

passed #49746
proof-state

00:03:08

passed #49742
validate

00:01:18

passed #49743
validate-classic

00:01:12

 
Name Stage Failure
failed
1.9.0-coq-dev Build
COQC restructuring/analysis/transform/edf_trans.v
COQC restructuring/analysis/facts/priority_inversion.v
File "./restructuring/analysis/facts/preemption/task/floating.v", line 69, characters 8-87:
Error: No applicable tactic.

make[1]: *** [Makefile:679: restructuring/analysis/facts/preemption/task/floating.vo] Error 1
make[1]: *** Waiting for unfinished jobs....
make: *** [Makefile:327: all] Error 2
ERROR: Job failed: exit code 1