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

v1

v1.0.0

Fix workflow setup