Avoid running the same CI jobs twice for PRs

[oliverklee]

Only run either on pushes or on PRs, but not both at the same time. (We need to make sure this still works for forks, though.)

[TimWolla]

You can do the following:

  push:
    branches:
    - main

Then the workflows will only run for pushes to main.