Skip to content

chore: Move to more recent Dafny prerelease and regenerate rust patch files (fixes nightly Dafny build) #425

chore: Move to more recent Dafny prerelease and regenerate rust patch files (fixes nightly Dafny build)

chore: Move to more recent Dafny prerelease and regenerate rust patch files (fixes nightly Dafny build) #425

Annotations

3 warnings

pr-ci-rust (nightly-2024-05-14-8da3ddd)  /  testRust (TestModels/dafny-dependencies/StandardLibrary)

succeeded May 15, 2024 in 1m 21s