Skip to content

v1-beta.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@austinletson austinletson released this 21 Jun 11:47
· 31 commits to main since this release
v1-beta.1
50b53f3
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

v1-beta.1 - 2024-06-21

Added

  • new use-github-cache input to specify if lean-action should use actions/cache to cache the .lake folder
  • build-status and test-status output parameters
  • new lake-package-directory input to specify the directory to run Lake commands.
    This input will enable users to use lean-action when Lake packages are contained in repository subdirectories.

Changed

  • upgrade elan version to v3.1.1
  • run lake check-test before running lake test
  • improved log readability with explicit log group naming and additional white space

Fixed

  • remove misleading .toml error message in mathlib detection
  • remove elan-init file after elan installation
Assets 2
Loading