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-java (4.4.0)  /  testJava (TestModels/Errors)

succeeded May 15, 2024 in 1m 30s