https://github.com/dafny-lang/setup-dafny-action - v1.9.1

What's Changed

• fix: Update distribution names for Dafny 4.11 by @robin-aws in https://github.com/dafny-lang/setup-dafny-action/pull/31

Full Changelog: https://github.com/dafny-lang/setup-dafny-action/compare/v1.9.0...v1.10.0

- JavaScript
Published by robin-aws 11 months ago

https://github.com/dafny-lang/setup-dafny-action - v1.9.0

What's Changed

• Update dotnet version by @stefan-aws in https://github.com/dafny-lang/setup-dafny-action/pull/29
• Support building Dafny from source by @robin-aws in https://github.com/dafny-lang/setup-dafny-action/pull/26 and https://github.com/dafny-lang/setup-dafny-action/pull/28

New Contributors

• @stefan-aws made their first contribution in https://github.com/dafny-lang/setup-dafny-action/pull/29

Full Changelog: https://github.com/dafny-lang/setup-dafny-action/compare/v1.8.0...v1.9.0

- JavaScript
Published by robin-aws about 1 year ago

https://github.com/dafny-lang/setup-dafny-action - 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)

- JavaScript
Published by ssomayyajula almost 2 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.7.2

• Fix: Added absolute path for Javascript action (#22)

- JavaScript
Published by ssomayyajula almost 2 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.7.1

1. Version constraint on .NET (#21)
2. Uses Dafny release specific to runner's architecture (#20)

- JavaScript
Published by ssomayyajula about 2 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.7.0

Set DAFNY_VERSION environment variable (#19)

- JavaScript
Published by robin-aws over 2 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.6.1

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

- JavaScript
Published by robin-aws over 3 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.6.0

Support “nightly-latest” version (#13)

- JavaScript
Published by robin-aws over 3 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.5.0

Install the dafny-reportgenerator as well (#8)

- JavaScript
Published by robin-aws over 3 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.4.0

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

- JavaScript
Published by robin-aws almost 4 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.3.2

Now defaults to Dafny 3.1.0.

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

- JavaScript
Published by tchajed about 5 years ago

https://github.com/dafny-lang/setup-dafny-action - v1.2.1

This version adds support for macOS

- JavaScript
Published by tchajed about 5 years ago

https://github.com/dafny-lang/setup-dafny-action - v1

- JavaScript
Published by tchajed over 5 years ago