Skip to content

chore: re-enable Dafny for MacOS #1190

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #1190

getVersion  /  getDafnyVersion

succeeded Mar 20, 2025 in 7s