Skip to content

ci: Change the GitHub Actions trigger#261

Merged
Mulugruntz merged 3 commits intomasterfrom 260-ci-is-not-executed-on-pr-changesDec 3, 2023

Commits

Commits on Dec 3, 2023