Make prover CI workflow run only on pull requests (thus disabling the…

… run on merge).
alpenlabs · Jan 22, 2025 · d8dbfe0 · d8dbfe0
1 parent 78aa39f
commit d8dbfe0
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/prover.yml b/.github/workflows/prover.yml
@@ -1,10 +1,6 @@
 name: Run prover guest code checks
 
-on:
-  pull_request:
-  merge_group:
-  push:
-    branches: [main]
+on: pull_request
 
 permissions: {}