set the certora-cli version to install to constant value

357XBT · Apr 3, 2023 · d8023bd · d8023bd
1 parent 0c91b84
commit d8023bd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora-prover.yml b/.github/workflows/certora-prover.yml
@@ -43,7 +43,7 @@ jobs:
  java-version: '11'
  java-package: 'jre'
  - name: Install certora
- run: pip install certora-cli
+ run: pip install certora-cli==3.6.4
  - name: Install solc
  run: |
  wget https://github.com/ethereum/solidity/releases/download/v0.8.12/solc-static-linux