chore: fix release template typo - Githubissues

leanprover / lean-action

GitHub action for standard CI in Lean projects

Apache License 2.0

14 stars 3 forks source link

chore: fix release template typo #87

Closed austinletson closed 1 month ago