Skip to content

ci: run CI workflows for pull requests targeting the 5.0 branch#3548

Merged
jeremydmiller merged 1 commit into
5.0from
enable-5.0-ci-triggers
Jul 20, 2026
Merged

ci: run CI workflows for pull requests targeting the 5.0 branch#3548
jeremydmiller merged 1 commit into
5.0from
enable-5.0-ci-triggers

Commits

Commits on Jul 20, 2026