reenable coqchk
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | build-coq.8.7.0 |
#25002
fp
|
00:02:48
|
|
|||||
| passed | build-coq.8.7.1 |
#25001
fp
|
00:02:43
|
|
|||||
| passed | build-coq.8.7.2 |
#25000
fp
|
00:02:42
|
|
|||||
| passed | build-coq.8.8.0 |
#24999
fp-timing
|
00:02:41
|
|
|||||
| passed | build-coq.8.8.1 |
#24998
fp
|
00:03:01
|
|
|||||
| passed | build-coq.8.8.2 |
#24997
fp
|
00:02:52
|
|
|||||
| passed | build-coq.8.9.0 |
#24996
fp-timing
|
00:03:18
|
|
|||||
| passed | build-coq.dev |
#24995
fp
|
00:08:12
|
|
|||||