issues
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.1.0
#102
Closed
austinletson
closed
2 weeks ago