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

pr-ci-rust (d07403b6d6606257e1b5aada4d0156901f4a17de)  /  populate-matrix-dimensions

pr-ci-rust (d07403b6d6606257e1b5aada4d0156901f4a17de) / populate-matrix-dimensions
succeeded Jan 24, 2025 in 0s