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 (5m34s)
- ✔️ arm64-debian-13-4.14 (4m18s)
- ❌ x86_64-debian-13-5.3 (8m02s)
- ❌ arm64-debian-13-5.3 (5m10s)
- ❌ x86_64-debian-13-5.4 (7m48s)
- ❌ arm64-debian-13-5.4 (5m47s)
History:
- 28/05/2026 18:23 ❌ @1664821 (9m05s)