| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| failed |
#52803
allowed to fail
|
#22312
by
|
build | 1.9.0-coq-dev |
00:01:53
|
|
|
| passed |
#51549
|
#22312
by
|
process | proof-state |
00:03:08
|
|
|
| passed |
#51548
|
#22312
by
|
process | doc-classic |
00:00:42
|
|
|
| passed |
#51547
|
#22312
by
|
process | doc |
00:00:34
|
|
|
| passed |
#51546
|
#22312
by
|
process | validate-classic |
00:01:17
|
|
|
| passed |
#51545
|
#22312
by
|
process | validate |
00:01:23
|
|
|
| passed |
#51544
allowed to fail
|
#22312
by
|
build | latest-coq-8.10 |
00:03:03
|
|
|
| failed |
#51543
allowed to fail
|
#22312
by
|
build | 1.9.0-coq-dev |
00:01:51
|
|
|
| passed |
#51542
|
#22312
by
|
build | 1.9.0-coq-8.9 |
00:03:01
|
|
|
| passed |
#51541
|
#22312
by
|
build | spell-check |
00:00:39
|
|
|
| passed |
#51540
|
#22312
by
|
build | proof-length |
00:00:30
|
|
|
| passed |
#51539
|
#22312
by
|
build | 1.9.0-coq-8.10-classic |
00:05:03
|
|
|
| passed |
#51538
|
#22312
by
|
build | 1.9.0-coq-8.10 |
00:03:12
|
|
|
| passed |
#51520
|
#22308
by
|
process | proof-state |
00:03:18
|
|
|
| passed |
#51519
|
#22308
by
|
process | doc-classic |
00:00:58
|
|
|
| passed |
#51518
|
#22308
by
|
process | doc |
00:00:21
|
|
|
| passed |
#51517
|
#22308
by
|
process | validate-classic |
00:01:55
|
|
|
| passed |
#51516
|
#22308
by
|
process | validate |
00:00:49
|
|
|
| passed |
#51515
allowed to fail
|
#22308
by
|
build | latest-coq-8.10 |
00:01:46
|
|
|
| failed |
#51514
allowed to fail
|
#22308
by
|
build | 1.9.0-coq-dev |
00:01:14
|
|
|
| passed |
#51513
|
#22308
by
|
build | 1.9.0-coq-8.9 |
00:01:46
|
|
|
| passed |
#51512
|
#22308
by
|
build | spell-check |
00:00:27
|
|
|
| passed |
#51511
|
#22308
by
|
build | proof-length |
00:00:24
|
|
|
| passed |
#51510
|
#22308
by
|
build | 1.9.0-coq-8.10-classic |
00:02:53
|
|
|
| passed |
#51509
|
#22308
by
|
build | 1.9.0-coq-8.10 |
00:01:50
|
|
|
| passed |
#51508
|
#22307
by
|
process | proof-state |
00:02:32
|
|
|
| passed |
#51507
|
#22307
by
|
process | doc-classic |
00:00:35
|
|
|
| passed |
#51506
|
#22307
by
|
process | doc |
00:00:27
|
|
|
| passed |
#51505
|
#22307
by
|
process | validate-classic |
00:01:03
|
|
|
| passed |
#51504
|
#22307
by
|
process | validate |
00:01:08
|
|