Skip to content

chore(rust): use Dafny 4.10.0 for Rust codegen - #1995

Merged
ajewellamz merged 1 commit into
mainfrom
ajewell/rust-410
Sep 26, 2025
Merged

chore(rust): use Dafny 4.10.0 for Rust codegen#1995
ajewellamz merged 1 commit into
mainfrom
ajewell/rust-410

chore(rust): use Dafny 4.10.0 for Rust codegen

5fc25ee
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded Sep 24, 2025 in 2s

No new alerts in code changed by this pull request

View all branch alerts.