From 0305965bd57816935beacf0c6d228e30496a1409 Mon Sep 17 00:00:00 2001
From: Mark Spanbroek <mark@spanbroek.net>
Date: Thu, 12 Jun 2025 17:03:00 +0200
Subject: [PATCH] certora: update certora-cli to 7.29.3

Reason: Vault.conf parsing errors with old certora-cli
---
 .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 8d3c9fd..60c4123 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -53,7 +53,7 @@ jobs:
           java-package: 'jre'
 
       - name: Install Certora CLI
-        run: pip3 install certora-cli==7.10.2
+        run: pip3 install certora-cli==7.29.3
 
       - name: Install Solidity
         run: |