Skip to content

holbuild v0.7.1

Choose a tag to compare

View all tags
@charles-cooper charles-cooper released this 18 Jun 03:09
v0.7.1
30d5a29
  • Accept [holbuild].required_version as a schema 2 alias for the holbuild version requirement; reject manifests that set both aliases.
  • Bump holbuild to 0.7.1.
  • Let the test runner resolve the schema 2 HOL toolchain cache automatically and fail fast.
Assets 2
Loading