Status Job Pipeline Stage Name Timing Coverage
failed #53994
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar process proof-state

00:01:08

passed #53993
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar process doc-classic

00:00:29

passed #53992
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar process doc

00:00:25

passed #53991
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar process validate-classic

00:00:53

passed #53990
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar process validate

00:00:51

passed #53989
work-conserving-edf
9148f2aa
allowed to fail
#23199 by Marco Maida's avatar build latest-coq-8.10

00:01:58

failed #53988
work-conserving-edf
9148f2aa
allowed to fail
#23199 by Marco Maida's avatar build 1.9.0-coq-dev

00:00:02

passed #53987
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar build 1.9.0-coq-8.9

00:01:58

failed #53986
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar build spell-check

00:00:33

passed #53985
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar build proof-length

00:00:26

passed #53984
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar build 1.9.0-coq-8.10-classic

00:03:02

passed #53983
work-conserving-edf
9148f2aa
#23199 by Marco Maida's avatar build 1.9.0-coq-8.10

00:02:00

failed #53982
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar process proof-state

00:01:37

passed #53981
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar process doc-classic

00:00:50

passed #53980
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar process doc

00:00:21

passed #53979
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar process validate-classic

00:01:33

passed #53978
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar process validate

00:00:55

passed #53977
work-conserving-edf
26bf0748
allowed to fail
#23198 by Marco Maida's avatar build latest-coq-8.10

00:01:33

failed #53976
work-conserving-edf
26bf0748
allowed to fail
#23198 by Marco Maida's avatar build 1.9.0-coq-dev

00:00:01

passed #53975
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar build 1.9.0-coq-8.9

00:01:34

failed #53974
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar build spell-check

00:00:28

passed #53973
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar build proof-length

00:00:22

passed #53972
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar build 1.9.0-coq-8.10-classic

00:02:48

passed #53971
work-conserving-edf
26bf0748
#23198 by Marco Maida's avatar build 1.9.0-coq-8.10

00:01:36

failed #53968
work-conserving-edf
34c31e07
#23196 by Marco Maida's avatar process proof-state

00:01:11

passed #53967
work-conserving-edf
34c31e07
#23196 by Marco Maida's avatar process doc-classic

00:00:31

passed #53966
work-conserving-edf
34c31e07
#23196 by Marco Maida's avatar process doc

00:00:23

passed #53965
work-conserving-edf
34c31e07
#23196 by Marco Maida's avatar process validate-classic

00:00:55

passed #53964
work-conserving-edf
34c31e07
#23196 by Marco Maida's avatar process validate

00:00:50

passed #53963
work-conserving-edf
34c31e07
allowed to fail
#23196 by Marco Maida's avatar build latest-coq-8.10

00:01:35