From 976577d1d46958bbc11829171917d5fbb4fd444a Mon Sep 17 00:00:00 2001 From: nisnislevi Date: Thu, 12 Dec 2024 14:43:22 +0200 Subject: [PATCH] cli vertion to 7.20.3 --- .github/workflows/certora-basic.yml | 2 +- .github/workflows/certora-stata.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml index c3641210..25d87dff 100644 --- a/.github/workflows/certora-basic.yml +++ b/.github/workflows/certora-basic.yml @@ -34,7 +34,7 @@ jobs: with: { distribution: "zulu", java-version: "11", java-package: jre } - name: Install certora cli - run: pip install certora-cli==7.17.2 + run: pip install certora-cli==7.20.3 - name: Install solc run: | diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml index 4a451edd..46719c95 100644 --- a/.github/workflows/certora-stata.yml +++ b/.github/workflows/certora-stata.yml @@ -31,7 +31,7 @@ jobs: with: { distribution: "zulu", java-version: "11", java-package: jre } - name: Install certora cli - run: pip install certora-cli==7.17.2 + run: pip install certora-cli==7.20.3 - name: Install solc run: | wget https://github.com/ethereum/solidity/releases/download/v0.8.20/solc-static-linux