github: Restore old push/PR behavior

This commit is contained in:
Christian Kohlschütter 2023-10-10 15:32:26 +02:00
parent f055fd7578
commit af5950aeab

View File

@ -1,7 +1,7 @@
name: Continuous integration build
on:
push:
branches: [ "main", "develop", "wip" ]
pull_request:
jobs:
build: