Relax dependency on odoc.
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compile | |||||||||
| passed | compile_4.07.1 |
#1636
|
00:00:49
|
|
|||||
| passed | compile_4.08.1 |
#1637
|
00:00:49
|
|
|||||
| passed | compile_4.09.1 |
#1638
|
00:00:49
|
|
|||||
| passed | compile_4.10.2 |
#1639
|
00:00:49
|
|
|||||
| passed | compile_4.11.2 |
#1640
|
00:00:53
|
|
|||||
| passed | compile_4.12.0-domains |
#1643
|
00:00:52
|
|
|||||
| passed | compile_4.12.1 |
#1641
|
00:00:52
|
|
|||||
| passed | compile_4.13.1 |
#1642
|
00:00:52
|
|
|||||
| Test | |||||||||
| passed | test_4.07.1 |
#1644
|
00:00:34
|
|
|||||
| passed | test_4.08.1 |
#1645
|
00:00:34
|
|
|||||
| passed | test_4.09.1 |
#1646
|
00:00:33
|
|
|||||
| passed | test_4.10.2 |
#1647
|
00:00:33
|
|
|||||
| passed | test_4.11.2 |
#1648
|
00:00:36
|
|
|||||
| passed | test_4.12.0-domains |
#1651
|
00:00:35
|
|
|||||
| passed | test_4.12.1 |
#1649
|
00:00:36
|
|
|||||
| passed | test_4.13.1 |
#1650
|
00:00:36
|
|
|||||
| Package | |||||||||
| passed | package_4.07.1 |
#1652
|
00:01:02
|
|
|||||
| passed | package_4.08.1 |
#1653
|
00:01:01
|
|
|||||
| passed | package_4.09.1 |
#1654
|
00:01:01
|
|
|||||
| passed | package_4.10.2 |
#1655
|
00:01:01
|
|
|||||
| passed | package_4.11.2 |
#1656
|
00:01:06
|
|
|||||
| passed | package_4.12.0-domains |
#1659
|
00:01:06
|
|
|||||
| passed | package_4.12.1 |
#1657
|
00:01:06
|
|
|||||
| passed | package_4.13.1 |
#1658
|
00:01:06
|
|
|||||