Status Job Pipeline Stage Name Timing Coverage
passed #48055
require-removal
bdf6d96c
#21375 by Björn Brandenburg's avatar process doc

00:00:31

passed #48031
require-removal
bdf6d96c
#21375 by Björn Brandenburg's avatar process proof-state

00:01:54

failed #48030
require-removal
bdf6d96c
#21375 by Björn Brandenburg's avatar process doc

00:04:43

passed #48029
require-removal
bdf6d96c
#21375 by Björn Brandenburg's avatar process validate

00:01:05

passed #48028
require-removal
bdf6d96c
allowed to fail
#21375 by Björn Brandenburg's avatar build latest-coq-8.10

00:03:09

passed #48027
require-removal
bdf6d96c
allowed to fail
#21375 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:03:03

passed #48026
require-removal
bdf6d96c
#21375 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:02:59

passed #48025
require-removal
bdf6d96c
#21375 by Björn Brandenburg's avatar build proof-length

00:00:13

passed #48024
require-removal
bdf6d96c
#21375 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:03:08

passed #47997
disambiguate-require
2e088364
#21362 by Björn Brandenburg's avatar process proof-state

00:02:13

passed #47996
disambiguate-require
2e088364
#21362 by Björn Brandenburg's avatar process doc

00:00:34

passed #47995
disambiguate-require
2e088364
#21362 by Björn Brandenburg's avatar process validate

00:05:06

passed #47994
disambiguate-require
2e088364
allowed to fail
#21362 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:55

passed #47993
disambiguate-require
2e088364
allowed to fail
#21362 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:03:18

passed #47992
disambiguate-require
2e088364
#21362 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:03:28

passed #47991
disambiguate-require
2e088364
#21362 by Björn Brandenburg's avatar build proof-length

00:00:15

passed #47990
disambiguate-require
2e088364
#21362 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:03:24

passed #47965
master
7060e7ed
#21358 by Björn Brandenburg's avatar build proof-length

00:00:14

passed #47964
master
7060e7ed
allowed to fail
#21358 by Björn Brandenburg's avatar build latest-coq-8.10

00:02:22

passed #47963
master
7060e7ed
allowed to fail
#21358 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:03:14

passed #47962
master
7060e7ed
#21358 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:03:21

passed #47961
master
7060e7ed
#21358 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:03:14

failed #47960
master
7060e7ed
#21358 by Björn Brandenburg's avatar build proof-length

00:00:13

failed #47959
master
7060e7ed
allowed to fail
#21358 by Björn Brandenburg's avatar build latest-coq-8.10

00:00:13

failed #47958
master
7060e7ed
allowed to fail
#21358 by Björn Brandenburg's avatar build 1.9.0-coq-dev

00:00:13

failed #47957
master
7060e7ed
#21358 by Björn Brandenburg's avatar build 1.9.0-coq-8.10

00:00:13

failed #47956
master
7060e7ed
#21358 by Björn Brandenburg's avatar build 1.9.0-coq-8.9

00:00:13

passed #47955
master
7060e7ed
#21358 by Björn Brandenburg's avatar process proof-state

00:02:24

passed #47954
master
7060e7ed
#21358 by Björn Brandenburg's avatar process doc

00:00:33

passed #47953
master
7060e7ed
#21358 by Björn Brandenburg's avatar process validate

00:01:04