Back
mirage/mirage: PR #1606: Use Git_net module instead of Git_mirage
@aa0434c
03/09/2025 11:28Link 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:- mirage/mirage-skeleton: PR #411: disable git for now
To use that feature, simply mention target PR in the original PR's description.
Stages:
- ✔️ x86_64-debian-13-4.14 (6m57s)
- ✔️ arm64-debian-13-4.14 (5m26s)
- ✔️ x86_64-debian-13-5.3 (7m24s)
- ✔️ arm64-debian-13-5.3 (7m45s)