From e69248e551482db39bcd54031e85f769718af587 Mon Sep 17 00:00:00 2001
From: Francisco Giordano <fg@frang.io>
Date: Mon, 13 Mar 2023 21:05:14 -0300
Subject: [PATCH] Limit concurrency of formal-verification runs

---
 .github/workflows/formal-verification.yml | 2 ++
 1 file changed, 2 insertions(+)

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