From 9ae9f3fe542cae5f587801ad2a2b497491d4cfbe Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Thu, 7 May 2026 21:32:23 +0000
Subject: [PATCH] chore(deps): update go toolchain directive to v1.26.3

---
 go.mod | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/go.mod b/go.mod
index 733beb0..f239ed1 100644
--- a/go.mod
+++ b/go.mod
@@ -2,7 +2,7 @@ module hypera.dev/kani
 
 go 1.24
 
-toolchain go1.24.5
+toolchain go1.26.3
 
 require github.com/coreos/go-oidc/v3 v3.14.1