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

2 warnings

pr-ci-verification (4.2.0)  /  verification (4.2.0, TestModels/Extern, ubuntu-latest)

succeeded May 15, 2024 in 1m 36s