diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index f94152a52..ae5eba006 100644
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -1,10 +1,6 @@
 name: formal verification
 
 on:
-  push:
-    branches:
-      - master
-      - release-v*
   pull_request:
     types:
       - opened