Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
---|---|---|---|---|---|---|---|
skipped |
#40570
|
#19345
by
|
process | proof-length |
|
||
skipped |
#40569
|
#19345
by
|
process | doc |
|
||
skipped |
#40568
|
#19345
by
|
process | validate |
|
||
failed |
#40567
|
#19345
by
|
build | 1.9.0-coq-8.9 |
00:00:24
|
|
|
failed |
#40566
allowed to fail
|
#19345
by
|
build | 1.9.0-coq-dev |
00:01:14
|
|
|
passed |
#40565
|
#19345
by
|
build | 1.8.0-coq-8.8 |
00:01:54
|
|
|
failed |
#40409
|
#19293
by
|
process | proof-length |
00:00:13
|
|
|
passed |
#40408
|
#19293
by
|
process | doc |
00:03:06
|
|
|
passed |
#40407
|
#19293
by
|
process | validate |
00:04:12
|
|
|
passed |
#40406
|
#19293
by
|
build | 1.9.0-coq-8.9 |
00:02:05
|
|
|
failed |
#40405
allowed to fail
|
#19293
by
|
build | 1.9.0-coq-dev |
00:00:14
|
|
|
passed |
#40404
|
#19293
by
|
build | 1.8.0-coq-8.8 |
00:02:04
|
|
|
skipped |
#40403
|
#19292
by
|
process | proof-length |
|
||
skipped |
#40402
|
#19292
by
|
process | doc |
|
||
skipped |
#40401
|
#19292
by
|
process | validate |
|
||
failed |
#40400
|
#19292
by
|
build | 1.9.0-coq-8.9 |
00:00:28
|
|
|
failed |
#40399
allowed to fail
|
#19292
by
|
build | 1.9.0-coq-dev |
00:00:14
|
|
|
passed |
#40398
|
#19292
by
|
build | 1.8.0-coq-8.8 |
00:02:07
|
|
|
skipped |
#40397
|
#19291
by
|
process | proof-length |
|
||
skipped |
#40396
|
#19291
by
|
process | doc |
|
||
skipped |
#40395
|
#19291
by
|
process | validate |
|
||
failed |
#40394
|
#19291
by
|
build | 1.9.0-coq-8.9 |
00:00:26
|
|
|
failed |
#40393
allowed to fail
|
#19291
by
|
build | 1.9.0-coq-dev |
00:00:15
|
|
|
passed |
#40392
|
#19291
by
|
build | 1.8.0-coq-8.8 |
00:02:10
|
|
|
skipped |
#40391
|
#19290
by
|
process | proof-length |
|
||
skipped |
#40390
|
#19290
by
|
process | doc |
|
||
skipped |
#40389
|
#19290
by
|
process | validate |
|
||
failed |
#40388
|
#19290
by
|
build | 1.9.0-coq-8.9 |
00:00:29
|
|
|
failed |
#40387
allowed to fail
|
#19290
by
|
build | 1.9.0-coq-dev |
00:00:14
|
|
|
passed |
#40386
|
#19290
by
|
build | 1.8.0-coq-8.8 |
00:02:00
|
|