Skip to content

bump Dafny version

627d030
Select commit
Loading
Failed to load commit list.
Merged

chore: fix Dafny verification #1627

bump Dafny version
627d030
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar