We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7b44b5b commit 03532ebCopy full SHA for 03532eb
go.mod
@@ -2,7 +2,7 @@ module hypera.dev/kani
2
3
go 1.24
4
5
-toolchain go1.24.5
+toolchain go1.25.1
6
7
require github.com/coreos/go-oidc/v3 v3.14.1
8
0 commit comments