Deploy seL4 Bench

platforms: disable MaaXBoard temporarily (#311) #9

Sign in to view logs

Triggered via push January 24, 2024 18:31

axel-h

master

Status Skipped

Total duration 4s

Artifacts –

deploy-sel4bench.yml

on: push

Docker (sel4bench)