separate partitioned facts
Status | Job ID | Name | Coverage | ||||||
---|---|---|---|---|---|---|---|---|---|
Build | |||||||||
passed |
#83808
|
1.10.0-coq-8.10 |
00:08:39
|
|
|||||
passed |
#83809
|
1.10.0-coq-8.11 |
00:08:39
|
|
|||||
failed |
#83807
|
1.10.0-coq-8.9 |
00:03:27
|
|
|||||
passed |
#83805
|
1.9.0-coq-8.10 |
00:08:37
|
|
|||||
passed |
#83806
|
1.9.0-coq-8.11 |
00:05:24
|
|
|||||
failed |
#83804
|
1.9.0-coq-8.9 |
00:03:47
|
|
|||||
passed |
#83810
|
build-for-process |
00:02:34
|
|
|||||
passed |
#83811
|
build-for-process-classic |
00:03:33
|
|
|||||
failed |
#83814
allowed to fail
|
coq-8.10 |
00:03:13
|
|
|||||
failed |
#83815
allowed to fail
|
coq-dev |
00:06:27
|
|
|||||
passed |
#83812
|
proof-length |
00:00:56
|
|
|||||
failed |
#83813
|
spell-check |
00:00:56
|
|
|||||
Process | |||||||||
passed |
#83818
|
doc |
00:00:51
|
|
|||||
passed |
#83819
|
doc-classic |
00:01:09
|
|
|||||
passed |
#83820
|
proof-state |
00:05:44
|
|
|||||
passed |
#83816
|
validate |
00:01:48
|
|
|||||
passed |
#83817
|
validate-classic |
00:02:17
|
|
|||||
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
coq-dev | Build | ||
|
||||
failed
|
1.9.0-coq-8.9 | Build | ||
|
||||
failed
|
1.10.0-coq-8.9 | Build | ||
|
||||
failed
|
coq-8.10 | Build | ||
|
||||
failed
|
spell-check | Build | ||
|