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

Sign in to view logs

Triggered via pull request January 18, 2024 23:43

Ivan-Velickovic

opened #310

sel4test_flags

Status Failure

Total duration 21s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Action gitlint failed.