| Status | Job | Pipeline | Stage | Name | Timing | Coverage | |
|---|---|---|---|---|---|---|---|
| passed |
#84144
|
#32422
by
|
process | proof-state |
00:05:07
|
|
|
| passed |
#84143
|
#32422
by
|
process | doc-classic |
00:00:50
|
|
|
| passed |
#84142
|
#32422
by
|
process | doc |
00:00:42
|
|
|
| passed |
#84141
|
#32422
by
|
process | validate-classic |
00:01:12
|
|
|
| passed |
#84140
|
#32422
by
|
process | validate |
00:03:48
|
|
|
| failed |
#84139
allowed to fail
|
#32422
by
|
build | coq-dev |
00:05:01
|
|
|
| failed |
#84138
allowed to fail
|
#32422
by
|
build | coq-8.10 |
00:05:19
|
|
|
| failed |
#84137
|
#32422
by
|
build | spell-check |
00:00:54
|
|
|
| passed |
#84136
|
#32422
by
|
build | proof-length |
00:00:57
|
|
|
| passed |
#84135
|
#32422
by
|
build | build-for-process-classic |
00:05:17
|
|
|
| passed |
#84134
|
#32422
by
|
build | build-for-process |
00:02:00
|
|
|
| passed |
#84133
|
#32422
by
|
build | 1.10.0-coq-8.11 |
00:05:30
|
|
|
| passed |
#84132
|
#32422
by
|
build | 1.10.0-coq-8.10 |
00:07:25
|
|
|
| failed |
#84131
|
#32422
by
|
build | 1.10.0-coq-8.9 |
00:02:20
|
|
|
| passed |
#84130
|
#32422
by
|
build | 1.9.0-coq-8.11 |
00:07:26
|
|
|
| passed |
#84129
|
#32422
by
|
build | 1.9.0-coq-8.10 |
00:05:26
|
|
|
| failed |
#84128
|
#32422
by
|
build | 1.9.0-coq-8.9 |
00:02:59
|
|
|
| passed |
#83820
|
#32357
by
|
process | proof-state |
00:05:44
|
|
|
| passed |
#83819
|
#32357
by
|
process | doc-classic |
00:01:09
|
|
|
| passed |
#83818
|
#32357
by
|
process | doc |
00:00:51
|
|
|
| passed |
#83817
|
#32357
by
|
process | validate-classic |
00:02:17
|
|
|
| passed |
#83816
|
#32357
by
|
process | validate |
00:01:48
|
|
|
| failed |
#83815
allowed to fail
|
#32357
by
|
build | coq-dev |
00:06:27
|
|
|
| failed |
#83814
allowed to fail
|
#32357
by
|
build | coq-8.10 |
00:03:13
|
|
|
| failed |
#83813
|
#32357
by
|
build | spell-check |
00:00:56
|
|
|
| passed |
#83812
|
#32357
by
|
build | proof-length |
00:00:56
|
|
|
| passed |
#83811
|
#32357
by
|
build | build-for-process-classic |
00:03:33
|
|
|
| passed |
#83810
|
#32357
by
|
build | build-for-process |
00:02:34
|
|
|
| passed |
#83809
|
#32357
by
|
build | 1.10.0-coq-8.11 |
00:08:39
|
|
|
| passed |
#83808
|
#32357
by
|
build | 1.10.0-coq-8.10 |
00:08:39
|
|