Status Job Pipeline Stage Name Timing Coverage
passed #51561
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar process proof-state

00:03:09

passed #51560
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar process doc-classic

00:00:44

passed #51559
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar process doc

00:00:35

passed #51558
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar process validate-classic

00:01:16

passed #51557
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar process validate

00:01:22

passed #51556
v0.4
ee05f255
allowed to fail
#22313 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:33

failed #51555
v0.4
ee05f255
allowed to fail
#22313 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:56

passed #51554
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:54

passed #51553
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar build spell-check

00:00:36

passed #51552
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar build proof-length

00:00:30

passed #51551
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar build 1.9.0-coq-8.10-classic

00:05:01

passed #51550
v0.4
ee05f255
#22313 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:03:06

passed #51537
master
ee05f255
#22309 by Björn Brandenburg's avatar process doc

00:00:18

passed #51536
split-classic-ci-2
23325807
#22310 by Björn Brandenburg's avatar process doc

00:00:26

passed #51535
split-classic-ci-2
23325807
#22310 by Björn Brandenburg's avatar build spell-check

00:00:36

passed #51534
split-classic-ci-2
23325807
#22310 by Björn Brandenburg's avatar build proof-length

00:00:25

passed #51533
split-classic-ci-2
23325807
#22310 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:01:46

passed #51532
master
ee05f255
#22309 by Björn Brandenburg's avatar process proof-state

00:02:11

passed #51531
master
ee05f255
#22309 by Björn Brandenburg's avatar process doc-classic

00:00:31

failed #51530
master
ee05f255
#22309 by Björn Brandenburg's avatar process doc

00:01:10

passed #51529
master
ee05f255
#22309 by Björn Brandenburg's avatar process validate-classic

00:00:58

passed #51528
master
ee05f255
#22309 by Björn Brandenburg's avatar process validate

00:01:02

passed #51527
master
ee05f255
allowed to fail
#22309 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:32

failed #51526
master
ee05f255
allowed to fail
#22309 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:43

passed #51525
master
ee05f255
#22309 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:26

passed #51524
master
ee05f255
#22309 by Björn Brandenburg's avatar build spell-check

00:00:36

passed #51523
master
ee05f255
#22309 by Björn Brandenburg's avatar build proof-length

00:00:27

passed #51522
master
ee05f255
#22309 by Björn Brandenburg's avatar build 1.9.0-coq-8.10-classic

00:03:55

passed #51521
master
ee05f255
#22309 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:02:32

passed #51123
master
4c91dcff
#22233 by Björn Brandenburg's avatar process doc-classic

00:00:32