Context

The release GitHub Action currently creates draft releases. Once the release workflow completes successfully, the draft release should be automatically published (i.e., marked as a full, non-draft release) rather than requiring a manual step to publish it.

Definition of done

Update the release GitHub Action workflow so that, after a successful release, the corresponding draft GitHub release is automatically published.

Pitfalls

Manual step to publish community notes still required.