mirage/mirage-skeleton: PR #395: Add Mirage bounds in config.ml (since mirage 4.4.1, mirage/mirage#1466)

@8da81f4

10/05/2024 07:34

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (12m58s)
✔️ arm64-debian-10-4.13 (8m41s)

History:

10/05/2024 07:34 ✔️ @8da81f4 (1h10m)
10/05/2024 07:25 🟡 @f1c845f (4m11s)
10/05/2024 06:52 🟡 @9c6e3a6 (5m59s)