v1-alpha.10

What's Changed

• Exception calling ".ctor" with "1" argument(s): by @Seasawher in #38

Full Changelog: v1-alpha.9...v1-alpha.10

v1-alpha.9

What's Changed

• fix: bump peter-evans/create-pull-request from 6 to 7 by @dependabot in #35
• "Generalise" lake update by @pitmonticone in #36

New Contributors

• @pitmonticone made their first contribution in #36

Full Changelog: v1-alpha.8...v1-alpha.9

v1-alpha.8

What's Changed

• feat: run lake test by @Seasawher in #27
• fix: bump raven-actions/actionlint from 1 to 2 by @dependabot in #28
• fix version of lean-action by @Seasawher in #31
• feat: add label to PR by @Seasawher in #30
• Fix how to get latest release of Lean by @Seasawher in #34

Full Changelog: v1-alpha.7...v1-alpha.8

v1-alpha.7

What's Changed

• fix: fix outdated contents on mathlib by @Seasawher in #19
• Don't use GitHub cache by @Seasawher in #22
• feat: use github cache feature of leanprover/lean-action by @Seasawher in #24

Full Changelog: v1-alpha.6...v1-alpha.7

v1-alpha.6

What's Changed

• make this action mathlib-independent by @Seasawher in #17

Full Changelog: v1-alpha.5...v1-alpha.6

v1-alpha.5

Full Changelog: v1-alpha.4...v1-alpha.5

v1-alpha.4

Full Changelog: v1-alpha.3...v1-alpha.4

v1-alpha.3

What's Changed

• doc: Wednesday → Thursday by @Seasawher in #5

Full Changelog: v1-alpha.2...v1-alpha.3

v1-alpha.2

What's Changed

• ✨ check mathlib is a dependency, ignore whitespace in file check by @oliver-butterley in #4

Full Changelog: v1-alpha...v1-alpha.2

v1-alpha.1

✨ alpha