| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| passed |
#93734
|
#34622
by
|
process | proof-state |
00:08:01
|
|
|
| passed |
#93733
|
#34622
by
|
process | doc-classic |
00:00:33
|
|
|
| passed |
#93732
|
#34622
by
|
process | doc |
00:03:08
|
|
|
| passed |
#93731
|
#34622
by
|
process | validate-classic |
00:02:12
|
|
|
| passed |
#93730
|
#34622
by
|
process | validate |
00:02:50
|
|
|
| passed |
#93729
|
#34622
by
|
build | coq-dev |
00:09:13
|
|
|
| passed |
#93728
|
#34622
by
|
build | coq-8.12 |
00:05:26
|
|
|
| passed |
#93727
|
#34622
by
|
build | spell-check |
00:16:00
|
|
|
| passed |
#93726
|
#34622
by
|
build | proof-length |
00:16:27
|
|
|
| passed |
#93725
|
#34622
by
|
build | build-for-process-classic |
00:03:40
|
|
|
| passed |
#93724
|
#34622
by
|
build | build-for-process |
00:02:30
|
|
|
| passed |
#93723
|
#34622
by
|
build | 1.11.0-coq-8.12 |
00:05:00
|
|
|
| passed |
#93722
|
#34622
by
|
build | 1.11.0-coq-8.11 |
00:09:48
|
|
|
| passed |
#93721
|
#34622
by
|
build | 1.10.0-coq-8.11 |
00:09:48
|
|
|
| passed |
#93302
|
#34548
by
|
process | proof-state |
00:03:51
|
|
|
| passed |
#93301
|
#34548
by
|
process | doc-classic |
00:00:45
|
|
|
| passed |
#93300
|
#34548
by
|
process | doc |
00:00:35
|
|
|
| passed |
#93299
|
#34548
by
|
process | validate-classic |
00:01:14
|
|
|
| passed |
#93298
|
#34548
by
|
process | validate |
00:01:21
|
|
|
| passed |
#93297
|
#34548
by
|
build | coq-dev |
00:05:42
|
|
|
| failed |
#93296
allowed to fail
|
#34548
by
|
build | coq-8.12 |
00:02:29
|
|
|
| passed |
#93295
|
#34548
by
|
build | spell-check |
00:00:36
|
|
|
| passed |
#93294
|
#34548
by
|
build | proof-length |
00:00:31
|
|
|
| passed |
#93293
|
#34548
by
|
build | build-for-process-classic |
00:03:37
|
|
|
| passed |
#93292
|
#34548
by
|
build | build-for-process |
00:02:12
|
|
|
| passed |
#93291
|
#34548
by
|
build | 1.11.0-coq-8.12 |
00:05:01
|
|
|
| passed |
#93290
|
#34548
by
|
build | 1.11.0-coq-8.11 |
00:06:06
|
|
|
| passed |
#93289
|
#34548
by
|
build | 1.10.0-coq-8.11 |
00:06:03
|
|
|
| passed |
#92563
|
#34409
by
|
process | doc-classic |
00:00:35
|
|
|
| passed |
#92562
|
#34409
by
|
process | proof-state |
00:04:44
|
|