use Gitlab DAG feature and re-organize CI order

Status Job ID Name Coverage
  Build
passed #47961
1.9.0-coq-8.10

00:03:14

passed #47962
1.9.0-coq-8.9

00:03:21

passed #47963
allowed to fail
1.9.0-coq-dev

00:03:14

passed #47964
allowed to fail
latest-coq-8.10

00:02:22

passed #47965
proof-length

00:00:14

failed #47948
1.9.0-coq-8.10

00:00:13

failed #47957
1.9.0-coq-8.10

00:00:13

failed #47956
1.9.0-coq-8.9

00:00:13

failed #47950
1.9.0-coq-8.9

00:00:13

failed #47958
allowed to fail
1.9.0-coq-dev

00:00:13

failed #47951
allowed to fail
1.9.0-coq-dev

00:00:13

failed #47959
allowed to fail
latest-coq-8.10

00:00:13

failed #47952
allowed to fail
latest-coq-8.10

00:00:13

failed #47949
proof-length

00:00:13

failed #47960
proof-length

00:00:13

 
  Process
passed #47954
doc

00:00:33

passed #47955
proof-state

00:02:24

passed #47953
validate

00:01:04