Skip to content

Fix push.branches in CI workflow to use a list#4

Merged
swlynch99 merged 1 commit intomainfrom
fix-ci-lint
Aug 18, 2025
Merged

Fix push.branches in CI workflow to use a list#4
swlynch99 merged 1 commit intomainfrom
fix-ci-lint

Commits

Commits on Aug 18, 2025