deleted commented lines

Certora · Feb 12, 2024 · 59a7d65 · 59a7d65
1 parent 90c5baf
commit 59a7d65
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -39,13 +39,6 @@ jobs:
           pip3 install solc-select
           solc-select install 0.8.21
           solc-select use 0.8.21
-          # wget https://github.com/ethereum/solidity/releases/download/v0.8.21/solc-static-linux
-          # sudo mv solc-static-linux /usr/local/bin/solc8.21
-          # chmod +x /usr/local/bin/solc8.21
-
-          # wget https://github.com/ethereum/solidity/releases/download/v0.8.17/solc-static-linux
-          # sudo mv solc-static-linux /usr/local/bin/solc8.17
-          # chmod +x /usr/local/bin/solc8.17
 
       # Do the actual verification.  The `run` field could be simply
       #