Deploy seL4 Bench

python: fix version of setuptools #149

Sign in to view logs

Triggered via push February 27, 2025 01:43

lsf37

master

Status Success

Total duration 26m 35s

Artifacts –

deploy-sel4bench.yml

on: push

Docker (sel4bench)