From 8adb2cc6182a6abd5a3f840bbd7c683dba728043 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Wed, 21 Feb 2024 16:41:59 +0100
Subject: [PATCH] Revert "revert certora version"

This reverts commit 9f98024fb29107f6795c6cac1cf6728c6ffa9d53.
---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index dbdd9c0..85be65e 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -135,7 +135,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install Certora CLI
-        run: pip3 install certora-cli==5.0.5
+        run: pip3 install certora-cli==6.3.1
 
       - name: Install Solidity
         run: |