v1.9.1

What's Changed

• fix: Update distribution names for Dafny 4.11 by @robin-aws in #31

Full Changelog: v1.9.0...v1.10.0

v1.9.0

What's Changed

• Update dotnet version by @stefan-aws in #29
• Support building Dafny from source by @robin-aws in #26 and #28

New Contributors

• @stefan-aws made their first contribution in #29

Full Changelog: v1.8.0...v1.9.0

v1.8.0

1. Fix: Version constraint on .NET (#21)
2. Feat: Uses Dafny release specific to runner's architecture (#20)
3. Fix: Added absolute path for Javascript action (#22)
4. Fix: Updated distribution (#23)

v1.7.0

Set DAFNY_VERSION environment variable (#19)

v1.6.1

Support Dafny's new distribution identifier scheme (#15)

v1.6.0

Support “nightly-latest” version (#13)

v1.5.0

Install the dafny-reportgenerator as well (#8)

v1.4.0

Added support for Windows and downloading nightly builds of Dafny (#5).

v1.3.2

Now defaults to Dafny 3.1.0.

Fixes support for Dafny 2.3.0 (which never actually worked).

v1.2.1

This version adds support for macOS