Files
plugins/.github/workflows
Christian Decker 7d25585273 gha: Only run on pushes to master
Otherwise PRs from branches to master always spawn duplicate jobs.
2023-01-01 17:14:05 +01:00
..
2023-01-01 17:14:05 +01:00