Skip to content

Type Hero

Pre-release
Pre-release
Compare
Choose a tag to compare
@tricktron tricktron released this 22 Aug 20:53
· 13 commits to main since this release
v2.1.8-alpha
8e2a0fd
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

New Features

  • displays the type signature when hovering over function names including cancellation support
  • publishes the compiler diagnostics (warnings, errors) when you open and save a frege file

CI/CD changes

  • publishes the JaCoCo code coverage as a badge
  • publishes unit test results on pull request
Assets 3
Loading