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

@f1c845f

10/05/2024 07:25

Link to Github

Stages:

🟡 x86_64-debian-10-4.13
✔️ arm64-debian-10-4.13 (4m11s)

History:

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