Skip to content

v1.8.0

Latest
Latest
Compare
Choose a tag to compare
@ssomayyajula ssomayyajula released this 07 Aug 20:17
v1.8.0
3d43eac
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
  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)
Assets 2
Loading