typo in install

Certora · Feb 12, 2024 · 8c09c22 · 8c09c22
1 parent 6d3e4ba
commit 8c09c22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -37,7 +37,7 @@ jobs:
       - name: Install solc
         run: |
           pip3 install solc-select
-          solc-select intall 0.8.21
+          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