Skip to content
Back to pull request #774

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

Sign in to view logs

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-go (4.8.0)  /  testGo (1)

pr-ci-go (4.8.0) / testGo (1)
succeeded Jan 24, 2025 in 4m 39s