Create a GitHub release once a release PR is merged

ci: fix permissions for ‹Prepare release› #24

Sign in to view logs

Summary
Jobs
- if_merged
Run details
- Usage
- Workflow file

Triggered via pull request October 30, 2023 09:57

mfocko

closed #277

mfocko:gh-action-fix

Status Skipped

Total duration 3s

Artifacts –

do-release.yml

on: pull_request