mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
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)