mirage/mirage: PR #1475: dune.config file misconfigured

@d8572a2

19/10/2023 07:38

Link to Github

Stages:

🟠 x86_64-debian-10-4.13
🟠 arm64-debian-10-4.13 (4m00s)

History:

19/10/2023 07:42 ✔️ @54fb61f (8m17s)
19/10/2023 07:38 🟠 @d8572a2 (4m00s)
19/10/2023 01:40 ✔️ @ac639d3 (8m16s)