From 648d26bbfaafd691f0edfa0ee618f47fd58b0a5f Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Sat, 6 Jul 2024 15:18:50 +1000
Subject: [PATCH] chore(deps): update go to v1.22.5 (#88)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
---
 go.mod | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/go.mod b/go.mod
index 1163782..347b74e 100644
--- a/go.mod
+++ b/go.mod
@@ -2,7 +2,7 @@ module hypera.dev/kani
 
 go 1.21
 
-toolchain go1.22.4
+toolchain go1.22.5
 
 require github.com/coreos/go-oidc/v3 v3.10.0