Status Job Pipeline Stage Name Timing Coverage
failed #52803
v0.4
ee05f255
allowed to fail
#22312 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:01:53

passed #51549
v0.4
ee05f255
#22312 by Björn Brandenburg's avatar process proof-state

00:03:08

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

00:00:42

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

00:00:34

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

00:01:17

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

00:01:23

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

00:03:03

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

00:01:51

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

00:03:01

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

00:00:39

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

00:00:30

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

00:05:03

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

00:03:12

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

00:03:18

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

00:00:58

passed #51518
master
ee05f255
#22308 by Björn Brandenburg's avatar process doc

00:00:21

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

00:01:55

passed #51516
master
ee05f255
#22308 by Björn Brandenburg's avatar process validate

00:00:49

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

00:01:46

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

00:01:14

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

00:01:46

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

00:00:27

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

00:00:24

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

00:02:53

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

00:01:50

passed #51508
periodic-task-model
4d4e0af6
#22307 by Björn Brandenburg's avatar process proof-state

00:02:32

passed #51507
periodic-task-model
4d4e0af6
#22307 by Björn Brandenburg's avatar process doc-classic

00:00:35

passed #51506
periodic-task-model
4d4e0af6
#22307 by Björn Brandenburg's avatar process doc

00:00:27

passed #51505
periodic-task-model
4d4e0af6
#22307 by Björn Brandenburg's avatar process validate-classic

00:01:03

passed #51504
periodic-task-model
4d4e0af6
#22307 by Björn Brandenburg's avatar process validate

00:01:08