From 8b8474e5b510126b56180f4497582ce86f2b64b1 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Mon, 28 Jul 2025 15:38:45 +0200
Subject: [PATCH] ci: update python version to fix bug in certora

---
 .github/workflows/ci.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f1f16f7..f0fd332 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -133,9 +133,8 @@ jobs:
           submodules: recursive
 
       - name: Install Python
-        uses: actions/setup-python@v2
-        with: { python-version: 3.9 }
-
+        uses: actions/setup-python@v4
+        with: { python-version: "3.10" }
       - name: Install Java
         uses: actions/setup-java@v1
         with: { java-version: "11", java-package: jre }