fix: add support for downloading arm64 macos image #87
main.yml
on: pull_request
Run tests
13s
Matrix: Install Dafny
Annotations
8 errors and 42 warnings