Releases: fgdorais/lean4-unicode-basic
Releases · fgdorais/lean4-unicode-basic
v1.0.2
What's Changed
- bump peter-evans/create-pull-request from 6 to 7
- update toolchain v4.12.0
Full Changelog: v1.0.1...v1.0.2
v1.0.1
What's Changed
- use lean-action@v1
- update toolchain v4.11.0
Full Changelog: v1.0.0...v1.0.1