ci: use branches-ignore?

cztomsik · Feb 3, 2024 · 73ab62a · 73ab62a
1 parent a5f68f7
commit 73ab62a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,9 +1,9 @@
 name: CI
 
-on: push
-  branches:
-    - '**'
-    - '!gh-pages'
+on:
+  push:
+    branches-ignore:
+      - gh-pages
 
 jobs:
   build_gui: