| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| passed |
#88542
|
#33406
by
|
process | proof-state |
00:04:31
|
|
|
| failed |
#88540
|
#33406
by
|
process | proof-state |
00:02:30
|
|
|
| passed |
#88539
|
#33406
by
|
process | doc-classic |
00:00:34
|
|
|
| passed |
#88538
|
#33406
by
|
process | doc |
00:03:24
|
|
|
| passed |
#88537
|
#33406
by
|
process | validate-classic |
00:02:31
|
|
|
| passed |
#88536
|
#33406
by
|
process | validate |
00:00:52
|
|
|
| passed |
#88535
|
#33406
by
|
build | coq-dev |
00:07:23
|
|
|
| passed |
#88534
|
#33406
by
|
build | coq-8.12 |
00:05:21
|
|
|
| passed |
#88533
|
#33406
by
|
build | spell-check |
00:00:14
|
|
|
| passed |
#88532
|
#33406
by
|
build | proof-length |
00:00:07
|
|
|
| passed |
#88531
|
#33406
by
|
build | build-for-process-classic |
00:03:44
|
|
|
| passed |
#88530
|
#33406
by
|
build | build-for-process |
00:04:43
|
|
|
| passed |
#88529
|
#33406
by
|
build | 1.11.0-coq-8.12 |
00:09:07
|
|
|
| passed |
#88528
|
#33406
by
|
build | 1.11.0-coq-8.11 |
00:06:07
|
|
|
| passed |
#88527
|
#33406
by
|
build | 1.10.0-coq-8.11 |
00:06:04
|
|
|
| passed |
#88526
|
#33405
by
|
process | proof-state |
00:04:43
|
|
|
| passed |
#88525
|
#33405
by
|
process | doc-classic |
00:00:33
|
|
|
| passed |
#88524
|
#33405
by
|
process | doc |
00:07:01
|
|
|
| passed |
#88523
|
#33405
by
|
process | validate-classic |
00:09:33
|
|
|
| passed |
#88522
|
#33405
by
|
process | validate |
00:00:52
|
|
|
| passed |
#88521
|
#33405
by
|
build | coq-dev |
00:05:15
|
|
|
| passed |
#88520
|
#33405
by
|
build | coq-8.12 |
00:10:52
|
|
|
| passed |
#88519
|
#33405
by
|
build | spell-check |
00:00:16
|
|
|
| passed |
#88518
|
#33405
by
|
build | proof-length |
00:00:43
|
|
|
| passed |
#88517
|
#33405
by
|
build | build-for-process-classic |
00:06:33
|
|
|
| passed |
#88516
|
#33405
by
|
build | build-for-process |
00:02:18
|
|
|
| passed |
#88515
|
#33405
by
|
build | 1.11.0-coq-8.12 |
00:10:15
|
|
|
| passed |
#88514
|
#33405
by
|
build | 1.11.0-coq-8.11 |
00:11:39
|
|
|
| passed |
#88513
|
#33405
by
|
build | 1.10.0-coq-8.11 |
00:11:40
|
|
|
| passed |
#88510
|
#33403
by
|
process | proof-state |
00:06:25
|
|