Skip to content

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

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

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

Annotations

1 warning

pr-ci-net (4.5.0)  /  testDotNet (4.5.0, 6, 6.0.x, ubuntu-22.04)

succeeded Jan 24, 2025 in 4m 5s