fix SHA3 CI workflow 3

Author: Parrot7483

libcrux-sha3/Cargo.toml

@@ -17,7 +17,8 @@ bench = false # so libtest doesn't eat the arguments to criterion
 libcrux-platform = { version = "0.0.2", path = "../sys/platform" }
 libcrux-intrinsics = { version = "0.0.3", path = "../libcrux-intrinsics" }
 libcrux-traits = { version = "=0.0.3", path = "../traits/", optional = true }
-hax-lib.workspace = true
+
+hax-lib = { git = "https://github.com/cryspen/hax.git", rev = "6b34a68a0b38cd2aff09a4ad05569d712620af27" }
 
 [features]
 default = ["digest-traits"]