Back to pull request #118

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

Sign in to view logs

Triggered via pull request April 1, 2024 08:42

Indanz

synchronize #118

axel-h:patch-axel-4

Status Success

Total duration 26s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace