fix: use solc 20

bgd-labs · Dec 10, 2024 · a147805 · a147805
1 parent 7e34160
commit a147805
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/certora-review-controller.yml b/.github/workflows/certora-review-controller.yml
@@ -32,9 +32,9 @@ jobs:
 
       - name: Install solc
         run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux
+          wget https://github.com/ethereum/solidity/releases/download/v0.8.20/solc-static-linux
           chmod +x solc-static-linux
-          sudo mv solc-static-linux /usr/local/bin/solc8.19
+          sudo mv solc-static-linux /usr/local/bin/solc8.20
 
       - name: Verify rule ${{ matrix.rule }}
         run: |

diff --git a/.github/workflows/certora-review-forwarder.yml b/.github/workflows/certora-review-forwarder.yml
@@ -32,9 +32,9 @@ jobs:
 
       - name: Install solc
         run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux
+          wget https://github.com/ethereum/solidity/releases/download/v0.8.20/solc-static-linux
           chmod +x solc-static-linux
-          sudo mv solc-static-linux /usr/local/bin/solc8.19
+          sudo mv solc-static-linux /usr/local/bin/solc8.20
 
       - name: Verify rule ${{ matrix.rule }}
         run: |

diff --git a/.github/workflows/certora-review-receiver.yml b/.github/workflows/certora-review-receiver.yml
@@ -32,9 +32,9 @@ jobs:
 
       - name: Install solc
         run: |
-          wget https://github.com/ethereum/solidity/releases/download/v0.8.19/solc-static-linux
+          wget https://github.com/ethereum/solidity/releases/download/v0.8.20/solc-static-linux
           chmod +x solc-static-linux
-          sudo mv solc-static-linux /usr/local/bin/solc8.19
+          sudo mv solc-static-linux /usr/local/bin/solc8.20
 
       - name: Verify rule ${{ matrix.rule }}
         run: |
@@ -51,6 +51,6 @@ jobs:
       max-parallel: 16
       matrix:
         rule:
-          - verifyCrossChainReceiver.conf 
+          - verifyCrossChainReceiver.conf