Back
mirage/mirage: PR #1646: Remove `mirage-opam-overlays` from default repositories
@ee16828
22/07/2026 09:44Link 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
- dune-universe/mirage-opam-overlays: PR #9: deprecate in favor of opam-overlays
To use that feature, simply mention target PR in the original PR's description.
Stages:
- ✔️ x86_64-debian-13-4.14 (6m14s)
- ✔️ arm64-debian-13-4.14 (4m20s)
- ✔️ x86_64-debian-13-5.4 (13m35s)
- ✔️ arm64-debian-13-5.4 (5m16s)
History:
- 22/07/2026 09:44 ✔️ @ee16828 (23m23s)