| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| failed |
#116259
|
#42672
by
|
process | proof-state |
00:04:30
|
|
|
| failed |
#116258
|
#42672
by
|
process | doc-classic |
00:03:27
|
|
|
| passed |
#116257
|
#42672
by
|
process | doc |
00:05:01
|
||
| passed |
#116256
|
#42672
by
|
process | validate-classic |
00:07:50
|
|
|
| passed |
#116255
|
#42672
by
|
process | validate |
00:05:38
|
|
|
| passed |
#116254
|
#42672
by
|
build | coq-dev |
00:08:12
|
|
|
| passed |
#116253
|
#42672
by
|
build | coq-8.12 |
00:05:44
|
|
|
| failed |
#116252
|
#42672
by
|
build | spell-check |
00:00:16
|
|
|
| failed |
#116251
|
#42672
by
|
build | proof-length |
00:00:07
|
|
|
| passed |
#116250
|
#42672
by
|
build | build-for-process-classic |
00:06:50
|
||
| passed |
#116249
|
#42672
by
|
build | build-for-process |
00:04:58
|
||
| passed |
#116248
|
#42672
by
|
build | 1.11.0-coq-8.12 |
00:11:39
|
|
|
| passed |
#116247
|
#42672
by
|
build | 1.11.0-coq-8.11 |
00:10:22
|
|
|
| passed |
#116246
|
#42672
by
|
build | 1.10.0-coq-8.11 |
00:20:00
|
|
|
| passed |
#116240
|
#42668
by
|
process | proof-state |
00:08:37
|
||
| passed |
#116239
|
#42668
by
|
process | doc-classic |
00:12:14
|
||
| failed |
#116238
|
#42668
by
|
process | doc |
00:01:38
|
|
|
| passed |
#116237
|
#42668
by
|
process | validate-classic |
00:04:58
|
|
|
| passed |
#116236
|
#42668
by
|
process | validate |
00:05:52
|
|
|
| passed |
#116235
|
#42668
by
|
build | coq-dev |
00:06:53
|
|
|
| passed |
#116234
|
#42668
by
|
build | coq-8.12 |
00:05:33
|
|
|
| passed |
#116233
|
#42668
by
|
build | spell-check |
00:00:15
|
|
|
| passed |
#116232
|
#42668
by
|
build | proof-length |
00:00:59
|
|
|
| passed |
#116231
|
#42668
by
|
build | build-for-process-classic |
00:19:30
|
||
| passed |
#116230
|
#42668
by
|
build | build-for-process |
00:03:52
|
||
| passed |
#116229
|
#42668
by
|
build | 1.11.0-coq-8.12 |
00:05:13
|
|
|
| passed |
#116228
|
#42668
by
|
build | 1.11.0-coq-8.11 |
00:06:12
|
|
|
| passed |
#116227
|
#42668
by
|
build | 1.10.0-coq-8.11 |
00:06:13
|
|
|
| passed |
#116226
|
#42667
by
|
process | proof-state |
00:08:11
|
||
| passed |
#116225
|
#42667
by
|
process | doc-classic |
00:00:35
|