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-net (4.2.0)  /  testDotNet (4.2.0, TestModels/Extendable, 6.0.x, ubuntu-latest)

succeeded May 15, 2024 in 2m 3s