mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
mirage/mirage: PR #1319: Fix dune version in dune-project
@22e7545
28/03/2022 07:29
Link to
Github
Stages:
✔️
x86_64-debian-10-4.13
(19m20s)
✔️
arm64-debian-10-4.13
(7m56s)
History:
28/03/2022 07:29
✔️
@22e7545
(19m20s)