From 274acce46760b0847ffa40de4ec49814dc0c1296 Mon Sep 17 00:00:00 2001 From: ernestognw Date: Fri, 19 Apr 2024 10:22:52 -0600 Subject: [PATCH] Use SOLC_VERSION 0.8.24 --- .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 6b4ca2cad..0200b6b6b 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.20' + SOLC_VERSION: '0.8.24' concurrency: ${{ github.workflow }}-${{ github.ref }}