From baf50a47602269d08e9e680eaae55b7d4e1fca9c Mon Sep 17 00:00:00 2001
From: Mikhail <16622558+mmv08@users.noreply.github.com>
Date: Thu, 9 Nov 2023 13:43:24 +0100
Subject: [PATCH] Update certora.yml to pin the cli version

---
 .github/workflows/certora.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index c19a0bf4a..fd4e16a3a 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -29,7 +29,7 @@ jobs:
               with: { java-version: "17", java-package: jre, distribution: semeru }
 
             - name: Install certora cli
-              run: pip install -Iv certora-cli
+              run: pip install -Iv certora-cli==4.13.1
 
             - name: Install solc
               run: |