From 5c859049e64495ca8edd9f6c294cf3df5aa1b214 Mon Sep 17 00:00:00 2001 From: Hadrien Croubois Date: Mon, 27 Feb 2023 11:18:16 +0100 Subject: [PATCH] latest compiler --- .github/workflows/formal-verifiation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml index 36261adc3..41fc82191 100644 --- a/.github/workflows/formal-verifiation.yml +++ b/.github/workflows/formal-verifiation.yml @@ -38,7 +38,7 @@ jobs: run: pip install certora-cli - name: Install solc run: | - wget https://github.com/ethereum/solidity/releases/download/v0.8.17/solc-static-linux + wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux sudo mv solc-static-linux /usr/local/bin/solc chmod +x /usr/local/bin/solc - name: Verify rule ${{ matrix.params }}