Skip to content

Run CI on any PR change#14086

Merged
philipp-spiess merged 1 commit intonextfrom
feat/run-ci-on-any-pr
Jul 30, 2024
Merged

Run CI on any PR change#14086
philipp-spiess merged 1 commit intonextfrom
feat/run-ci-on-any-pr

Commits

Commits on Jul 30, 2024