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 816bcf6Copy full SHA for 816bcf6
go.mod
@@ -2,7 +2,7 @@ module hypera.dev/kani
2
3
go 1.24
4
5
-toolchain go1.24.5
+toolchain go1.25.0
6
7
require github.com/coreos/go-oidc/v3 v3.14.1
8
0 commit comments