Skip to content

Releases: fgdorais/lean4-unicode-basic

v1.0.2

01 Oct 04:30
Compare
Choose a tag to compare

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

02 Sep 16:05
Compare
Choose a tag to compare

What's Changed

  • use lean-action@v1
  • update toolchain v4.11.0

Full Changelog: v1.0.0...v1.0.1

v1.0.0

10 Aug 00:38
Compare
Choose a tag to compare
Release v1.0.0