From 7c83653e58707108e53e69dbf16ef6412b2e5262 Mon Sep 17 00:00:00 2001
From: nisnislevi <nissan@certora.com>
Date: Sun, 5 May 2024 11:26:03 +0300
Subject: [PATCH] 7.3.0

---
 .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 75a06c88..40eafda4 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -36,7 +36,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install certora cli
-        run: pip install certora-cli==7.0.7
+        run: pip install certora-cli==7.3.0
 
       - name: Install solc
         run: |