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

Commits

Commits on Aug 1, 2026