mirage/mirage: PR #1316: Use the same flags as dune

@79c109d

27/03/2022 17:17

Link to Github

Stages:

❌ x86_64-debian-10-4.13 (9m15s)
✔️ arm64-debian-10-4.13 (6m42s)

History:

27/03/2022 17:17 ❌ @79c109d (9m15s)