Closed fscheiner closed 2 years ago
This should enable GHA CI builds after merging pull requests. Before this change GHA CI builds only happened when:
This should enable GHA CI builds after merging pull requests. Before this change GHA CI builds only happened when: