Merge pull request #1133 from Vagelis-Prokopiou/fix/docs #7

Sign in to view logs

Triggered via push February 21, 2024 05:19

github-merge-queue[bot]

main

Status Success

Total duration 1m 42s

Artifacts –

main.yaml

on: push

Annotations

1 warning

Test (stable)

Unexpected input(s) 'profile', 'override', valid inputs are ['toolchain', 'targets', 'target', 'components']