Skip to content

Skip Unhelpful Contribute Recommendations
Compare
Choose a tag to compare
@mattpolzin mattpolzin released this 06 Dec 15:59
· 196 commits to main since this release
2.6.2
32510ef
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.

Changes

When requesting a PR to contribute a review to, draft PRs will be skipped over. This way, the PR Harmony suggests is actually going to be ready for your review.

Install via npm with npm install --global @mattpolzin/harmony or by downloading the attached harmony-npm.tar.gz file, extracting, and then running npm install -g from the unzipped folder to install globally on your system. Use in a nix shell (assuming flakes are enabled) with nix shell github:mattpolzin/harmony.

You can build the source with Idris 2 v0.6.0 or the latest HEAD of the main Idris 2 branch.

Assets 3
Loading