Status Job Pipeline Stage Name Timing Coverage
failed #53210
work-conserving-edf
7643c417
allowed to fail
#22978 by Marco Maida's avatar build 1.9.0-coq-dev

00:00:59

passed #53209
work-conserving-edf
7643c417
#22978 by Marco Maida's avatar build 1.9.0-coq-8.9

00:02:26

failed #53208
work-conserving-edf
7643c417
#22978 by Marco Maida's avatar build spell-check

00:00:23

failed #53207
work-conserving-edf
7643c417
#22978 by Marco Maida's avatar build proof-length

00:00:23

passed #53206
work-conserving-edf
7643c417
#22978 by Marco Maida's avatar build 1.9.0-coq-8.10-classic

00:03:00

passed #53205
work-conserving-edf
7643c417
#22978 by Marco Maida's avatar build 1.9.0-coq-8.10

00:01:51

failed #53142
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar process proof-state

00:01:18

passed #53141
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar process doc-classic

00:00:29

passed #53140
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar process doc

00:00:26

passed #53139
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar process validate-classic

00:00:54

passed #53138
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar process validate

00:00:55

passed #53137
work-conserving-edf
ccf204dd
allowed to fail
#22949 by Marco Maida's avatar build latest-coq-8.10

00:02:32

failed #53136
work-conserving-edf
ccf204dd
allowed to fail
#22949 by Marco Maida's avatar build 1.9.0-coq-dev

00:01:07

passed #53135
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar build 1.9.0-coq-8.9

00:01:41

failed #53134
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar build spell-check

00:00:35

failed #53133
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar build proof-length

00:00:23

passed #53132
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar build 1.9.0-coq-8.10-classic

00:02:57

passed #53131
work-conserving-edf
ccf204dd
#22949 by Marco Maida's avatar build 1.9.0-coq-8.10

00:01:39

skipped #52954
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar process proof-state
passed #52953
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar process doc-classic

00:00:28

skipped #52952
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar process doc
passed #52951
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar process validate-classic

00:00:54

skipped #52950
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar process validate
failed #52949
work-conserving-edf
2a3b0817
allowed to fail
#22900 by Marco Maida's avatar build latest-coq-8.10

00:01:27

failed #52948
work-conserving-edf
2a3b0817
allowed to fail
#22900 by Marco Maida's avatar build 1.9.0-coq-dev

00:02:19

failed #52947
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar build 1.9.0-coq-8.9

00:01:31

failed #52946
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar build spell-check

00:00:33

failed #52945
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar build proof-length

00:00:21

passed #52944
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar build 1.9.0-coq-8.10-classic

00:02:40

failed #52943
work-conserving-edf
2a3b0817
#22900 by Marco Maida's avatar build 1.9.0-coq-8.10

00:01:29