GitHub actions: run on pull requests, too

2021-08-18 09:26:02 +02:00 · 2021-08-18 09:26:02 +02:00 · d553cd2d41
parent a285acebca
commit d553cd2d41
1 changed files with 2 additions and 0 deletions
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@ -3,6 +3,8 @@ name: Push
 on:
  push:
    branches: [ master ]
+  pull_request:
+    branches: [ master ]

 jobs: