CHERIoT Demos CI

HughV2: add drop down in controller to choose server #61

Sign in to view logs

Triggered via pull request July 23, 2025 10:53

rmn30

opened #28

rmn30/hughoffline

Status Success

Total duration 1m 50s

Artifacts –

main.yml

on: pull_request

Matrix: build-demos