Skip to content
PR CI

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

pr-ci-verification (4.8.0)  /  verification (4.8.0, 3, ubuntu-22.04)

pr-ci-verification (4.8.0) / verification (4.8.0, 3, ubuntu-22.04)
succeeded Jan 24, 2025 in 5m 38s