CI

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

Sign in to view logs

Triggered via pull request March 31, 2024 22:18

axel-h

opened #44

axel-h:patch-axel-4

Status Success

Total duration 26s

Artifacts –

push.yml

on: pull_request