ci: Automatically close the release milestone on release #10
Labels
part:tooling
Affects the development tooling (CI, deployment, dependency management, etc.)
type:enhancement
New feature or enhancement visitble to users
Milestone
What's needed?
We need to manually close the milestone for a particular release after doing the release.
Proposed solution
Automatically close the milestone right after the GitHub Release is created in the GitHub
ci.yml
workflow.The text was updated successfully, but these errors were encountered: