diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index 6c9935ad4..a1b3b6e6d 100644
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -5,7 +5,12 @@ on:
     branches:
       - master
       - release-v*
-  pull_request: {}
+  pull_request:
+    types:
+      - opened
+      - reopened
+      - synchronize
+      - labeled
   workflow_dispatch: {}
 
 env: