platforms: allow setting extra flags to be passed to build #1114

Sign in to view logs

Triggered via pull request January 18, 2024 23:43

Ivan-Velickovic

opened #310

sel4test_flags

Status Failure

Total duration 23s

Artifacts –

push.yml

on: pull_request