Revert "fix: remove double run on push"

This reverts commit 29e889f.
euler-xyz · Feb 20, 2024 · 44b04ee · 44b04ee
1 parent 29e889f
commit 44b04ee
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -3,6 +3,7 @@
 name: Certora verification
 
 on:
+  push: {}
   pull_request: {}
   workflow_dispatch: {}