From 08b89105038bd0dba28f4865fdbe14b34be3ab5b Mon Sep 17 00:00:00 2001
From: Ricardo Guilherme Schmidt <3esmit@gmail.com>
Date: Wed, 13 Nov 2024 18:09:51 -0300
Subject: [PATCH] chore(ci.yml): update certora to 7.17.2

---
 .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 077557b..55cbe90 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.10.2
+        run: pip3 install certora-cli==7.17.2
 
       - name: Install Solidity
         run: |