mirage/mirage-skeleton: PR #351: dune 3.7 introduced a breaking change that leads chamelon to not compile

@2847669

22/02/2023 20:07

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage: PR #1401: changes for 4.3.4

To use that feature, simply mention target PR in the original PR's description.

Stages:

🟠 x86_64-debian-10-4.13
❌ arm64-debian-10-4.13 (1m28s)

History:

22/02/2023 20:07 ❌ @2847669 (1m28s)
22/02/2023 20:05 ❌ @0e02ffe (1m30s)