v4.28.0-rc1

What's Changed

• Setup by @kencyke in #1
• Bump lean to v4.22.0-rc4 by @kencyke in #2
• Bump lean to v4.25.1 by @kencyke in #3
• Bump lean to v4.26.0-rc2 by @kencyke in #4
• Bump lean to v4.26.0 by @kencyke in #5
• Bump lean to v4.27.0 rc1 by @kencyke in #6
• Release action by @kencyke in #8
• Bump lean v4.28.0 rc1 by @kencyke in #9

New Contributors

• @kencyke made their first contribution in #1

Full Changelog: https://github.com/kencyke/lean-project/commits/v4.28.0-rc1