mirage/mirage: PR #1505: Remove DSL.foreign

@bc171d8

07/03/2024 14:41

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage-skeleton: PR #386: Use `main` instead of `foreign`

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

Stages:

❌ x86_64-debian-10-4.13 (2s)
✔️ arm64-debian-10-4.13 (4m19s)

History:

07/03/2024 14:41 ❌ @bc171d8 (4m19s)
07/03/2024 14:41 🟠 @724812b