search

leanprover / lean-action

GitHub action for standard CI in Lean projects
Apache License 2.0
14 stars 3 forks source link

doc: update CHANGELOG.md for v1.0.1 #89

Closed austinletson closed 1 month ago