Skip to content
Deploy seL4 Bench

Deploy seL4 Bench #103

Sign in to view logs

Deploy seL4 Bench

Deploy seL4 Bench #103

Manually triggered November 9, 2023 02:24
@lsf37lsf37
⁠ 2bc0c7b
master
Status Success
Total duration 1m 17s
Artifacts –

deploy-sel4bench.yml

on: workflow_dispatch
Docker (sel4bench)
1m 8s
Docker (sel4bench)
Fit to window
Zoom out
Zoom in