v0.6.0

What's Changed

• TEST: submitting PR fails if the target repository is private #134 by @Seasawher in #135
• Add update_lean_toolchain input to control whether lean-toolchain is updated to latest stable on projects with no dependencies by @TwoFX in #142

New Contributors

• @TwoFX made their first contribution in #142

Full Changelog: v0.5.0...v0.6.0

v0.5.0

What's Changed

• pretty print of build output by @Seasawher in #122
• possible bug: if new toolchain exists but mathlib uses old toolchain...? by @Seasawher in #130

Full Changelog: v0.4.0...v0.5.0

v0.4.0

What's Changed

• change owner by @Seasawher in #106
• Fix Development problem by @Seasawher in #110
• new toolchain in title/body of PR/issue by @Seasawher in #114

Full Changelog: v0.3.0...v0.4.0

v0.3.0

Summary

add lake build's output to issue body

What's Changed

• TEST: log build output by @Seasawher in #97

Full Changelog: v0.2.0...v0.3.0

v0.2.0

Summary

• avoid creating duplicate issue/PR

What's Changed

• translate comment in sh by @Seasawher in #88
• test: avoid creating duplicate issues by @Seasawher in #92

Full Changelog: v0.1.0...v0.2.0

v0.1.0

Summary

• create issue with label.
• you can select lake update or lake -R -Kenv=dev update

What's Changed

• zulip notification → notification by @Seasawher in #46
• example content is wrong by @Seasawher in #47
• change description of commit option by @Seasawher in #48
• remove "theerefore" by @Seasawher in #49
• remove double negative by @Seasawher in #50
• option name case by @Seasawher in #51
• uncapitalize the SECRET in README by @Seasawher in #53
• update README / on zulip message by @Seasawher in #54
• add description of how to setup zulip workflow by @Seasawher in #55
• avoid creating duplicate PRs by @Seasawher in #57
• customize argument of lake update by @Seasawher in #58
• fix typo by @Seasawher in #60
• fix typo by @pitmonticone in #59
• add comment for syntax highlight by @Seasawher in #61
• add notification test by @Seasawher in #62
• create label for issue by @Seasawher in #70
• TEST: try to fix issue in issue body by @Seasawher in #77
• test: create issue by single script by @Seasawher in #81

Full Changelog: v0.0.8...v0.1.0

v0.0.8

Summary

add notify output and fix bug

What's Changed

• delete Usage Examples section by @Seasawher in #30
• add notify(boolean) outputs by @Seasawher in #31

Full Changelog: v0.0.7...v0.0.8

v0.0.7

Summary

• refactor: output of action is made much better
• add latest_lean output

What's Changed

• add latest_lean to output by @Seasawher in #29

Full Changelog: v0.0.6...v0.0.7

v0.0.6

Summary

lake-package-directory made be snake_case

What's Changed

• update copilot instruction by @Seasawher in #23
• update pr template by @Seasawher in #24
• add zulip notification example to README by @Seasawher in #26
• fix workflow example by @Seasawher in #27
• make lake-package-directory be snake_case by @Seasawher in #28

Full Changelog: v0.0.5...v0.0.6

v0.0.5

Summary

small refactor: rewrite pwsh to js

What's Changed

• rewrite getLatest.ps1 in JavaScript by @Seasawher in #22

Full Changelog: v0.0.4...v0.0.5