workflow(certora): use solc 0.8.2

sushiswap · Jan 9, 2022 · 6995711 · 6995711
1 parent f3b0fac
commit 6995711
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -45,7 +45,7 @@ jobs:
 
       - name: Install dependencies
         run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.7/solc-static-linux
+          wget https://github.com/ethereum/solidity/releases/download/v0.8.2/solc-static-linux
           chmod +x solc-static-linux
           sudo mv solc-static-linux /usr/local/bin/solc          
           pip3 install certora-cli