| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| 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
|
|