feat: don't run push ci on dev

succinctlabs · May 11, 2024 · 4820693 · 4820693
1 parent d5bf39e
commit 4820693
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -2,7 +2,7 @@ name: PR
 
 on:
   push:
-    branches: [main, dev]
+    branches: [main]
   pull_request:
     branches:
       - "**"