From 964a78912f8cf375639bd963bec8ef00a7441b87 Mon Sep 17 00:00:00 2001
From: nisnislevi <nissan@certora.com>
Date: Tue, 21 May 2024 20:37:25 +0300
Subject: [PATCH] back to 6.1.3 in gsm .yml

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

diff --git a/.github/workflows/certora-gsm.yml b/.github/workflows/certora-gsm.yml
index 50f226b5..9ab38e9d 100644
--- a/.github/workflows/certora-gsm.yml
+++ b/.github/workflows/certora-gsm.yml
@@ -34,7 +34,7 @@ jobs:
         with: { java-version: '11', java-package: jre }
 
       - name: Install certora cli
-        run: pip install certora-cli==7.6.3
+        run: pip install certora-cli==6.1.3
 
       - name: Install solc
         run: |