Commit 7428eb6e8bc307709e803763119731d81a77d1bc
2022-12-16T21:36:13
ci: don't run linux on push to non-master branches It's redundant with the pull request run. Signed-off-by: Ran Benita <ran@unusedvar.com>
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index 6085b4f..be22915 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -1,6 +1,10 @@
name: linux
-on: [push, pull_request]
+on:
+ push:
+ branches: [ master ]
+ pull_request:
+ branches: [ master ]
# Set permissions at the job level.
permissions: {}