| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| failed |
#73047
allowed to fail
|
#27725
by
|
build | coq-dev |
00:04:49
|
|
|
| skipped |
#72006
|
#28687
by
|
process | proof-state |
|
||
| skipped |
#72005
|
#28687
by
|
process | doc-classic |
|
||
| skipped |
#72004
|
#28687
by
|
process | doc |
|
||
| skipped |
#72003
|
#28687
by
|
process | validate-classic |
|
||
| skipped |
#72002
|
#28687
by
|
process | validate |
|
||
| failed |
#72001
allowed to fail
|
#28687
by
|
build | latest-coq-8.10 |
00:00:34
|
|
|
| failed |
#72000
allowed to fail
|
#28687
by
|
build | 1.9.0-coq-dev |
00:00:01
|
|
|
| failed |
#71999
|
#28687
by
|
build | 1.9.0-coq-8.9 |
00:00:34
|
|
|
| failed |
#71998
|
#28687
by
|
build | spell-check |
00:00:32
|
|
|
| failed |
#71997
|
#28687
by
|
build | proof-length |
00:00:33
|
|
|
| failed |
#71996
|
#28687
by
|
build | 1.9.0-coq-8.10-classic |
00:00:35
|
|
|
| failed |
#71995
|
#28687
by
|
build | 1.9.0-coq-8.10 |
00:00:32
|
|
|
| skipped |
#71994
|
#28686
by
|
process | proof-state |
|
||
| skipped |
#71993
|
#28686
by
|
process | doc-classic |
|
||
| skipped |
#71992
|
#28686
by
|
process | doc |
|
||
| skipped |
#71991
|
#28686
by
|
process | validate-classic |
|
||
| skipped |
#71990
|
#28686
by
|
process | validate |
|
||
| failed |
#71989
allowed to fail
|
#28686
by
|
build | latest-coq-8.10 |
00:16:17
|
|
|
| failed |
#71988
allowed to fail
|
#28686
by
|
build | 1.9.0-coq-dev |
00:00:01
|
|
|
| failed |
#71987
|
#28686
by
|
build | 1.9.0-coq-8.9 |
00:00:31
|
|
|
| failed |
#71986
|
#28686
by
|
build | spell-check |
00:00:31
|
|
|
| failed |
#71985
|
#28686
by
|
build | proof-length |
00:00:33
|
|
|
| failed |
#71984
|
#28686
by
|
build | 1.9.0-coq-8.10-classic |
00:00:32
|
|
|
| failed |
#71983
|
#28686
by
|
build | 1.9.0-coq-8.10 |
00:00:34
|
|
|
| failed |
#70652
|
#28252
by
|
process | proof-state |
00:05:33
|
|
|
| passed |
#70651
|
#28252
by
|
process | doc-classic |
00:01:12
|
|
|
| failed |
#70650
|
#28252
by
|
process | doc |
00:02:08
|
|
|
| passed |
#70649
|
#28252
by
|
process | validate-classic |
00:02:24
|
|
|
| passed |
#70648
|
#28252
by
|
process | validate |
00:05:41
|
|