### 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.
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.ymlworkflow.