Back
dune-universe/mirage-opam-overlays: PR #9: deprecate in favor of opam-overlays
@1664821
28/05/2026 18:23Link to Github
To use that feature, simply mention target PR in the original PR's description.
Friend PRs
This PR is tested along with the following PRs:- dune-universe/opam-overlays: PR #252: Merge mirage-opam-overlays into this repo
To use that feature, simply mention target PR in the original PR's description.
Stages:
- ✔️ x86_64-debian-13-4.14 (4m07s)
- ✔️ arm64-debian-13-4.14 (3m18s)
- ✔️ x86_64-debian-13-5.4 (9m28s)
- ✔️ arm64-debian-13-5.4 (5m19s)
History:
- 28/05/2026 18:23 ✔️ @1664821 (13m39s)