mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
mirage/mirage: PR #1579: Defunctorise TIME, PCLOCK, MCLOCK, RANDOM -- allow defaults to be passed to Mirage.register
@073278a
09/10/2024 18:32
Link to
Github
Stages:
❌
x86_64-debian-10-4.13
(5m59s)
❌
arm64-debian-10-4.13
(7m13s)
History:
09/10/2024 18:32
❌
@073278a
(22m48s)
09/10/2024 18:22
❌
@b226d2a
(6m03s)
09/10/2024 18:16
❌
@66a593c
(2m40s)
09/10/2024 18:15
🟠
@65eae9e