diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index 10b6bcee7..bb503541c 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
       - release-v*
+      - formal-verification
   pull_request: {}
   workflow_dispatch: {}