| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| passed |
#57834
|
#24704
by
|
process | proof-state |
00:02:16
|
|
|
| passed |
#57833
|
#24704
by
|
process | doc-classic |
00:00:54
|
|
|
| failed |
#57832
|
#24704
by
|
process | doc |
00:02:41
|
|
|
| passed |
#57831
|
#24704
by
|
process | validate-classic |
00:02:15
|
|
|
| passed |
#57830
|
#24704
by
|
process | validate |
00:05:11
|
|
|
| passed |
#57829
|
#24704
by
|
build | coq-dev |
00:10:12
|
|
|
| passed |
#57828
|
#24704
by
|
build | coq-8.10 |
00:10:48
|
|
|
| passed |
#57827
|
#24704
by
|
build | spell-check |
00:00:48
|
|
|
| passed |
#57826
|
#24704
by
|
build | proof-length |
00:00:41
|
|
|
| passed |
#57825
|
#24704
by
|
build | build-for-process-classic |
00:07:11
|
|
|
| passed |
#57824
|
#24704
by
|
build | build-for-process |
00:03:20
|
|
|
| passed |
#57823
|
#24704
by
|
build | 1.10.0-coq-8.11 |
00:11:18
|
|
|
| passed |
#57822
|
#24704
by
|
build | 1.10.0-coq-8.10 |
00:11:19
|
|
|
| passed |
#57821
|
#24704
by
|
build | 1.10.0-coq-8.9 |
00:11:19
|
|
|
| passed |
#57820
|
#24704
by
|
build | 1.9.0-coq-8.11 |
00:11:14
|
|
|
| passed |
#57819
|
#24704
by
|
build | 1.9.0-coq-8.10 |
00:11:09
|
|
|
| passed |
#57818
|
#24704
by
|
build | 1.9.0-coq-8.9 |
00:11:17
|
|
|
| passed |
#36287
|
#18212
by
|
process | proof-length |
00:00:17
|
|
|
| passed |
#36286
|
#18212
by
|
process | doc |
00:03:21
|
|
|
| passed |
#36285
|
#18212
by
|
process | validate |
00:01:36
|
|
|
| passed |
#36284
|
#18212
by
|
build | 1.9.0-coq-8.9 |
00:02:24
|
|
|
| failed |
#36283
allowed to fail
|
#18212
by
|
build | 1.9.0-coq-dev |
00:00:18
|
|
|
| passed |
#36282
|
#18212
by
|
build | 1.8.0-coq-8.8 |
00:02:23
|
|