reorder some files for better coqdoc
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#20437
fp
|
build-coq.8.7.0 |
00:02:41
|
|
|||||
| passed |
#20436
fp
|
build-coq.8.7.1 |
00:02:44
|
|
|||||
| passed |
#20435
fp-timing
|
build-coq.8.7.2 |
00:02:38
|
|
|||||
| passed |
#20434
fp-timing
|
build-coq.8.8.0 |
00:02:58
|
|
|||||
| passed |
#20433
fp
|
build-coq.8.8.1 |
00:02:35
|
|
|||||
| passed |
#20432
fp
|
build-coq.8.8.2 |
00:03:06
|
|
|||||
| passed |
#20431
fp
|
build-coq.8.9.dev |
00:04:13
|
|
|||||
| passed |
#20447
fp
|
build-coq.dev |
00:15:42
|
|
|||||
| failed |
#20430
fp
|
build-coq.dev |
00:01:44
|
|
|||||