feat: Set DAFNY_VERSION environment variable #81
main.yml
on: pull_request
Run tests
14s
Matrix: Install Dafny
Annotations
15 errors and 21 warnings