From b3b5b5f0e484018d9ccd3950b4e442b85a074c2b Mon Sep 17 00:00:00 2001
From: Mikhail <16622558+mmv08@users.noreply.github.com>
Date: Wed, 15 Nov 2023 10:29:01 +0100
Subject: [PATCH] Pin cerrtora cli

---
 .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: |