Limit concurrency of formal-verification runs

2 years ago · e69248e551
parent e739144cb0
commit e69248e551
1 changed files with 2 additions and 0 deletions
--- 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