From 6a100abfe1954cc96fbc5065aa4d131b469c2cdc Mon Sep 17 00:00:00 2001 From: ernestognw Date: Fri, 19 Apr 2024 16:03:05 -0600 Subject: [PATCH] Bump solc to 0.8.25 --- .github/workflows/formal-verification.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml index 0200b6b6b..232c78677 100644 --- a/.github/workflows/formal-verification.yml +++ b/.github/workflows/formal-verification.yml @@ -12,7 +12,7 @@ on: env: PIP_VERSION: '3.10' JAVA_VERSION: '11' - SOLC_VERSION: '0.8.24' + SOLC_VERSION: '0.8.25' concurrency: ${{ github.workflow }}-${{ github.ref }}