From ead8db634cb7c442e7f2cadff5c1ff368f7f6551 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Tue, 30 Jul 2024 15:06:03 +0200
Subject: [PATCH] chore(ci): update certora CLI in CI

This update the certora cli to the latest version 7.10.1 in CI tasks.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index adfbd1a..2e67542 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -136,7 +136,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install Certora CLI
-        run: pip3 install certora-cli==7.0.7
+        run: pip3 install certora-cli==7.10.1
 
       - name: Install Solidity
         run: |