Releases: jonaprieto/lean-argus
Releases · jonaprieto/lean-argus
Release list
v0.5.5
Full Changelog: v0.5.4...v0.5.5
v0.5.4
Full Changelog: v0.5.3...v0.5.4
v0.5.2
v0.5.2
This tag was signed with the committer’s verified signature.
What's Changed
- docs: sync related project links by @jonaprieto in #15
- chore(release): set version 0.5.2 by @jonaprieto in #16
Full Changelog: v0.5.1...v0.5.2
Contributors
jonaprieto
Assets 2
v0.5.1
v0.5.1
This tag was signed with the committer’s verified signature.
What's Changed
- build: adopt Lean v4.33.0 by @jonaprieto in #13
- build: adopt precommit-lean v0.1.6 by @jonaprieto in #14
Full Changelog: v0.5.0...v0.5.1
Contributors
jonaprieto
Assets 2
v0.4.8
06380cb
This commit was signed with the committer’s verified signature.
Full Changelog: v0.4.7...v0.4.8
v0.4.6
b87f2af
This commit was signed with the committer’s verified signature.
Pin the termcolor stack to release tags instead of bare SHAs: termcolor v1.1.0, termcolor-layout v0.1.7, termcolor-diagnostics v0.1.9, and termcolor-terminal v0.1.9. No source changes since v0.4.5.
v0.4.5
7dc4a0b
This commit was signed with the committer’s verified signature.
Refresh the termcolor stack: termcolor, termcolor-layout, termcolor-diagnostics, and termcolor-terminal v0.1.8. No source or behavior changes.
v0.4.4
2e3d9a4
This commit was signed with the committer’s verified signature.
Changes
- Updated Grip to v0.1.0.
- Bumped the package to v0.4.4.
v0.4.3
7074024
This commit was signed with the committer’s verified signature.
Full Changelog: v0.4.2...v0.4.3
v0.4.2
e03a381
This commit was signed with the committer’s verified signature.
Full Changelog: v0.4.0...v0.4.2