Create a GitHub release once a release PR is merged

Fix handling of quotes during option tokenization #167

Sign in to view logs

Summary
Jobs
- if_merged
Run details
- Usage
- Workflow file

Triggered via pull request December 4, 2023 16:01

softwarefactory-project-zuul[bot]

closed #329

parsing

Status Skipped

Total duration 3s

Artifacts –

do-release.yml

on: pull_request