Trigger

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

Sign in to view logs

Triggered via push April 4, 2024 07:11

lsf37

master

Status Success

Total duration 19s

Artifacts –

trigger.yml

on: push

Repository Dispatch