seL4Test HW

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

Sign in to view logs

Triggered via pull request April 1, 2024 08:42

Indanz

synchronize #118

Status Skipped

Total duration 4s

Artifacts –

sel4test-hw.yml

on: pull_request_target

Matrix: HW Build

Matrix: HW Run