enable docs again
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#55858
fp
|
build-coq.8.10.2 |
00:03:55
|
|
|||||
| passed |
#55837
fp-timing
|
build-coq.8.11.0 |
00:03:37
|
|
|||||
| passed |
#55861
fp
|
build-coq.8.7.2 |
00:03:48
|
|
|||||
| passed |
#55860
fp
|
build-coq.8.8.2 |
00:03:24
|
|
|||||
| passed |
#55859
fp
|
build-coq.8.9.1 |
00:03:45
|
|
|||||
| passed |
#55857
fp
|
build-coq.dev |
00:09:32
|
|
|||||
| failed |
#55838
fp
|
build-coq.8.10.2 |
00:01:53
|
|
|||||
| failed |
#55841
fp
|
build-coq.8.7.2 |
00:01:35
|
|
|||||
| failed |
#55840
fp
|
build-coq.8.8.2 |
00:01:39
|
|
|||||
| failed |
#55839
fp
|
build-coq.8.9.1 |
00:01:52
|
|
|||||
| failed |
#55836
fp
|
build-coq.dev |
00:06:26
|
|
|||||