Update `RELEASING.md` based on improvements to release process

leanprover / lean-action

GitHub action for standard CI in Lean projects

Apache License 2.0

14 stars 3 forks source link

Closed austinletson closed 2 months ago

austinletson commented 3 months ago

[x] Now that lean-action contains an automated functional test suite, revisit RELEASING.md to make sure it aligns with the new process
[x] Add a template for release issues based on #66