v0.25.5
Move actual publishing activities from the release GitHub workflows into Projen tasks so they can be executed manually after a “release” task. This still does not fully address manual releases (#782 and #726) because the actual bump needs to be committed & pushed to the repo after a release. Follow up on #917