## What's Changed * Exception calling ".ctor" with "1" argument(s): by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/38 **Full Changelog**: https://github.com/oliver-butterley/lean-update/compare/v1-alpha.9...v1-alpha.10

## What's Changed * fix: fix outdated contents on mathlib by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/19 * Don't use GitHub cache by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/22 * feat: use github cache feature of `leanprover/lean-action` by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/24 * feat: run `lake test` by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/27 * fix: bump raven-actions/actionlint from 1 to 2 by @dependabot in https://github.com/oliver-butterley/lean-update/pull/28 * fix version of `lean-action` by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/31 * feat: add label to PR by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/30 * Fix how to get latest release of Lean by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/34 **Full Changelog**: https://github.com/oliver-butterley/lean-update/compare/v1-alpha.6...v1-alpha.8

## What's Changed * make this action mathlib-independent by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/17 * fix: fix outdated contents on mathlib by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/19 * Don't use GitHub cache by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/22 * feat: use github cache feature of `leanprover/lean-action` by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/24 Thanks to @Seasawher for all the improvements! **Full Changelog**: https://github.com/oliver-butterley/lean-update/compare/v1-alpha.5...v1-alpha.7

## What's Changed * make this action mathlib-independent by @Seasawher in https://github.com/oliver-butterley/lean-update/pull/17 **Full Changelog**: https://github.com/oliver-butterley/lean-update/compare/v1-alpha.4...v1-alpha.6

**Full Changelog**: https://github.com/oliver-butterley/lean-update/compare/v1-alpha.3...v1-alpha.5

**Full Changelog**: https://github.com/oliver-butterley/lean-update/compare/v1-alpha.2...v1-alpha.4

## What's Changed Checkout action relocated, corrected script that caused errors, modified default behaviour to be silent, refactored code for some improved clarity. * :sparkles: check mathlib is a dependency, ignore whitespace in file check by @oliver-butterley in https://github.com/oliver-butterley/lean-update-action/pull/4 * doc: Wednesday → Thursday by @Seasawher in https://github.com/oliver-butterley/lean-update-action/pull/5 * @oliver-butterley: contribution in https://github.com/oliver-butterley/lean-update-action/pull/4 * @Seasawher: contribution in https://github.com/oliver-butterley/lean-update-action/pull/5 **Full Changelog**: https://github.com/oliver-butterley/lean-update-action/compare/v1-alpha.1...v1-alpha.3

## What's Changed * :sparkles: check mathlib is a dependency, ignore whitespace in file check by @oliver-butterley in https://github.com/oliver-butterley/lean-update-action/pull/4 **Full Changelog**: https://github.com/oliver-butterley/lean-update-action/compare/v1-alpha...v1-alpha.2