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