mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
mirage/mirage: PR #1309: Propagate the user specified config.ml to the generated dune file
@a61894b
23/03/2022 17:12
Link to
Github
Stages:
🟠
x86_64-debian-10-4.13
(8m02s)
✔️
arm64-debian-10-4.13
(7m02s)
History:
23/03/2022 17:12
🟠
@a61894b
(8m02s)
23/03/2022 16:42
🟠
@798d1f5
(22m15s)
21/03/2022 14:24
✔️
@0af210d
(22m44s)
21/03/2022 13:43
❌
@9f93567
(10m14s)