diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index a1b3b6e6d..29c02541c 100644
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -18,6 +18,8 @@ env:
   JAVA_VERSION: '11'
   SOLC_VERSION: '0.8.19'
 
+concurrency: ${{ github.workflow }}-${{ github.ref }}
+
 jobs:
   apply-diff:
     runs-on: ubuntu-latest