Skip to content

[ci] Add dev/* branches to CI trigger#1297

Merged
jpobst merged 1 commit intomainfrom
dev/pjc/dev-ci
Jan 29, 2025
Merged

[ci] Add dev/* branches to CI trigger#1297
jpobst merged 1 commit intomainfrom
dev/pjc/dev-ci

Commits

Commits on Jan 29, 2025