mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
mirage/mirage: PR #1320: Remove unused --warn-error and --debug flags
@76db981
28/03/2022 08:43
Link to
Github
Stages:
🟠
x86_64-debian-10-4.13
✔️
arm64-debian-10-4.13
(6m34s)
History:
28/03/2022 08:43
🟠
@76db981
(6m34s)