Compile with coq dev
Status | Job ID | Name | Coverage | ||||||
---|---|---|---|---|---|---|---|---|---|
Build | |||||||||
failed |
#54242
allowed to fail
|
1.10.0-coq-dev |
00:00:01
|
|
|||||
passed |
#54237
|
1.9.0-coq-8.10 |
00:02:27
|
|
|||||
passed |
#54238
|
1.9.0-coq-8.10-classic |
00:04:21
|
|
|||||
passed |
#54241
|
1.9.0-coq-8.9 |
00:02:23
|
|
|||||
passed |
#54243
|
latest-coq-8.10 |
00:02:20
|
|
|||||
passed |
#54239
|
proof-length |
00:00:27
|
|
|||||
passed |
#54240
|
spell-check |
00:00:40
|
|
|||||
Process | |||||||||
passed |
#54246
|
doc |
00:02:16
|
|
|||||
passed |
#54247
|
doc-classic |
00:00:36
|
|
|||||
passed |
#54248
|
proof-state |
00:02:51
|
|
|||||
passed |
#54244
|
validate |
00:01:14
|
|
|||||
passed |
#54245
|
validate-classic |
00:01:03
|
|
|||||
Name | Stage | Failure | ||
---|---|---|---|---|
failed
|
1.10.0-coq-dev | Build | ||
|