Skip to content

Support building Dafny from source #111

Support building Dafny from source

Support building Dafny from source #111

Install Dafny (macos-latest, 3.0.0)

succeeded Jan 14, 2025 in 36s