Skip to content

chore: re-enable Dafny for MacOS #1190

chore: re-enable Dafny for MacOS

chore: re-enable Dafny for MacOS #1190

pr-ci-format  /  format_projects (macos-13)

succeeded Mar 20, 2025 in 5m 27s