fix: remove push

euler-xyz · Feb 20, 2024 · 27d2c24 · 27d2c24
1 parent 44b04ee
commit 27d2c24
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -4,7 +4,6 @@ name: Certora verification
 
 on:
   push: {}
-  pull_request: {}
   workflow_dispatch: {}
 
 jobs: