Status Job Pipeline Stage Name Timing Coverage
passed #72903
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar process proof-state

00:07:03

passed #72902
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar process doc-classic

00:01:17

passed #72901
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar process doc

00:01:17

passed #72900
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar process validate-classic

00:02:42

passed #72899
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar process validate

00:02:12

failed #72898
offset
4b5a2ff6
allowed to fail
#29008 by Vedant Chavda's avatar build coq-dev

00:08:47

failed #72897
offset
4b5a2ff6
allowed to fail
#29008 by Vedant Chavda's avatar build coq-8.10

00:08:01

failed #72896
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build spell-check

00:01:44

passed #72895
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build proof-length

00:01:48

passed #72894
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build build-for-process-classic

00:09:39

passed #72893
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build build-for-process

00:04:55

passed #72892
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build 1.10.0-coq-8.11

00:14:45

passed #72891
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build 1.10.0-coq-8.10

00:14:43

passed #72890
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build 1.10.0-coq-8.9

00:14:47

passed #72889
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build 1.9.0-coq-8.11

00:14:44

passed #72888
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build 1.9.0-coq-8.10

00:14:37

passed #72887
offset
4b5a2ff6
#29008 by Vedant Chavda's avatar build 1.9.0-coq-8.9

00:14:48

passed #72886
offset
9e5687dd
#29007 by Vedant Chavda's avatar process proof-state

00:06:29

passed #72885
offset
9e5687dd
#29007 by Vedant Chavda's avatar process doc-classic

00:01:20

passed #72884
offset
9e5687dd
#29007 by Vedant Chavda's avatar process doc

00:00:47

passed #72883
offset
9e5687dd
#29007 by Vedant Chavda's avatar process validate-classic

00:03:07

passed #72882
offset
9e5687dd
#29007 by Vedant Chavda's avatar process validate

00:02:12

failed #72881
offset
9e5687dd
allowed to fail
#29007 by Vedant Chavda's avatar build coq-dev

00:09:37

failed #72880
offset
9e5687dd
allowed to fail
#29007 by Vedant Chavda's avatar build coq-8.10

00:08:46

passed #72879
offset
9e5687dd
#29007 by Vedant Chavda's avatar build spell-check

00:02:07

passed #72878
offset
9e5687dd
#29007 by Vedant Chavda's avatar build proof-length

00:02:19

passed #72877
offset
9e5687dd
#29007 by Vedant Chavda's avatar build build-for-process-classic

00:07:31

passed #72876
offset
9e5687dd
#29007 by Vedant Chavda's avatar build build-for-process

00:05:20

passed #72875
offset
9e5687dd
#29007 by Vedant Chavda's avatar build 1.10.0-coq-8.11

00:15:23

passed #72874
offset
9e5687dd
#29007 by Vedant Chavda's avatar build 1.10.0-coq-8.10

00:15:23