Skip to content

holbuild v0.8.3

Choose a tag to compare

View all tags
@xrchz xrchz released this 07 Jul 19:49
v0.8.3
This tag was signed with the committer’s verified signature. The key has expired.
xrchz Ramana Kumar
GPG key ID: ED471C788B900433
Expired
Verified
Learn about vigilant mode.
ab8753e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • Support executable heap targets via HOL buildheap by @xrchz in #115
  • Support local dependency overrides by @lukaszcz in #117
  • Speed up checkpoint budget maintenance and build execution by @lukaszcz in #118
  • Support project-local remote cache defaults by @xrchz in #119

New Contributors

Full Changelog: v0.8.2...v0.8.3

Contributors

lukaszcz and xrchz
Assets 2
Loading