PR

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

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 21s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace