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

@54fb61f

19/10/2023 07:42

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (8m17s)
✔️ arm64-debian-10-4.13 (6m51s)

History:

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