Skip to content

ci: scope push trigger to devel/main to avoid duplicate PR builds - #74

Merged
fgsch merged 1 commit into
develfrom
fgsch/push-pqvrtzuqxywq
Aug 1, 2026
Merged

ci: scope push trigger to devel/main to avoid duplicate PR builds#74
fgsch merged 1 commit into
develfrom
fgsch/push-pqvrtzuqxywq

ci: scope push trigger to devel/main to avoid duplicate PR builds

11531b1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
test (clang)
succeeded Aug 1, 2026 in 1m 56s