CI: the seL4/machine_queue repo is public now · seL4/sel4bench@f237e8b

Triggered via pull request March 31, 2024 22:18

axel-h

opened #44

Status Success

Total duration 9m 44s

Artifacts 4

sel4bench-pr.yml

on: pull_request_target

Matrix: Build

Matrix: HW Run

Produced during runtime