Jonas Platte fae75410a9
ci: Revert running CI on pushes to any branch
This cause PRs within the repo to run CI twice.
2021-08-05 21:00:07 +02:00
..