Skip redundant build of master on pull request merge

kalaiyarasiganeshalingam · kalaiyarasiganeshalingam · commit 2fa4ae02a336 · 2021-02-23T14:20:57.000+05:30
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
@@ -1,6 +1,10 @@
 name: PR build
 
-on: [push, pull_request]
+on:
+  pull_request:
+  push:
+    branches-ignore:
+      - master
 
 jobs:
   ubuntu-build:
