mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
mirage/mirage: PR #1316: Use the same flags as dune
@79c109d
27/03/2022 17:17
Link to
Github
Stages:
❌
x86_64-debian-10-4.13
(9m15s)
✔️
arm64-debian-10-4.13
(6m42s)
History:
27/03/2022 17:17
❌
@79c109d
(9m15s)