Update certora.yml

euler-xyz · Feb 22, 2024 · 38f7e6a · 38f7e6a
1 parent afc850a
commit 38f7e6a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -42,8 +42,8 @@ jobs:
       - name: Install solc
         run: |
           pip install solc-select
-          solc-select install 0.8.20
-          solc-select use 0.8.20
+          solc-select install 0.8.24
+          solc-select use 0.8.24
         # It is also possible to download the solc binaries directly
         # wget https://github.com/ethereum/solidity/releases/download/v0.8.0/solc-static-linux
         # sudo mv solc-static-linux /usr/local/bin/solc8.0