Skip to content

fix(CI): use dafny commit hash which supports sync for Rust #2085

fix(CI): use dafny commit hash which supports sync for Rust

fix(CI): use dafny commit hash which supports sync for Rust #2085