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

@ac639d3

19/10/2023 01:40

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (8m16s)
✔️ arm64-debian-10-4.13 (5m05s)

History:

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