mirage/mirage-skeleton: PR #396: use ethif instead of deprecated etif

@40a4929

29/05/2024 10:05

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage: PR #1546: Provide Mirage.ethif as an alias for Mirage.etif

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

Stages:

✔️ x86_64-debian-10-4.13 (9m59s)
✔️ arm64-debian-10-4.13 (7m24s)

History:

29/05/2024 10:05 ✔️ @40a4929 (9m59s)