mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
dune-universe/opam-overlays: PR #129: Add dune port of extlib.1.7.8
@b520670
11/03/2022 11:30
Link to
Github
Stages:
❌
x86_64-debian-10-4.13
(19s)
❌
arm64-debian-10-4.13
(57s)
History:
11/03/2022 11:30
❌
@b520670
(57s)
09/03/2022 16:26
❌
@130a965
(2m31s)