Status Job Pipeline Stage Name Timing Coverage
failed #116259
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar process proof-state

00:04:30

failed #116258
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar process doc-classic

00:03:27

passed #116257
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar process doc

00:05:01

passed #116256
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar process validate-classic

00:07:50

passed #116255
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar process validate

00:05:38

passed #116254
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build coq-dev

00:08:12

passed #116253
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build coq-8.12

00:05:44

failed #116252
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build spell-check

00:00:16

failed #116251
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build proof-length

00:00:07

passed #116250
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build build-for-process-classic

00:06:50

passed #116249
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build build-for-process

00:04:58

passed #116248
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build 1.11.0-coq-8.12

00:11:39

passed #116247
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build 1.11.0-coq-8.11

00:10:22

passed #116246
generalize_aRTA
ef1a6a61
#42672 by Sergey Bozhko's avatar build 1.10.0-coq-8.11

00:20:00

passed #116240
master
aed29c33
#42668 by Sergey Bozhko's avatar process proof-state

00:08:37

passed #116239
master
aed29c33
#42668 by Sergey Bozhko's avatar process doc-classic

00:12:14

failed #116238
master
aed29c33
#42668 by Sergey Bozhko's avatar process doc

00:01:38

passed #116237
master
aed29c33
#42668 by Sergey Bozhko's avatar process validate-classic

00:04:58

passed #116236
master
aed29c33
#42668 by Sergey Bozhko's avatar process validate

00:05:52

passed #116235
master
aed29c33
#42668 by Sergey Bozhko's avatar build coq-dev

00:06:53

passed #116234
master
aed29c33
#42668 by Sergey Bozhko's avatar build coq-8.12

00:05:33

passed #116233
master
aed29c33
#42668 by Sergey Bozhko's avatar build spell-check

00:00:15

passed #116232
master
aed29c33
#42668 by Sergey Bozhko's avatar build proof-length

00:00:59

passed #116231
master
aed29c33
#42668 by Sergey Bozhko's avatar build build-for-process-classic

00:19:30

passed #116230
master
aed29c33
#42668 by Sergey Bozhko's avatar build build-for-process

00:03:52

passed #116229
master
aed29c33
#42668 by Sergey Bozhko's avatar build 1.11.0-coq-8.12

00:05:13

passed #116228
master
aed29c33
#42668 by Sergey Bozhko's avatar build 1.11.0-coq-8.11

00:06:12

passed #116227
master
aed29c33
#42668 by Sergey Bozhko's avatar build 1.10.0-coq-8.11

00:06:13

passed #116226
setoid_rewrite
187f2a9b
#42667 by Sergey Bozhko's avatar process proof-state

00:08:11

passed #116225
setoid_rewrite
187f2a9b
#42667 by Sergey Bozhko's avatar process doc-classic

00:00:35