mirage-ci
Home
Query
Log analysis
Jobs
Pipelines
Back
mirage/mirage-dev: PR #383: Delete mirage-{xen,solo5}
@7cc3906
01/02/2022 09:09
Link to
Github
Stages:
✔️
x86_64-debian-10-4.13
(7m50s)
✔️
arm64-debian-10-4.13
(8m33s)
History:
01/02/2022 09:09
✔️
@7cc3906
(8m33s)