CI

CI: the seL4/machine_queue repo is public now #203

Sign in to view logs

Triggered via push April 4, 2024 07:11

lsf37

master

Status Success

Total duration 51s

Artifacts –

push.yml

on: push