Skip to content
Create a GitHub release once a release PR is merged

Release 0.20.2 #120

Sign in to view logs

Release 0.20.2

Release 0.20.2 #120

Triggered via pull request July 31, 2023 13:11
@softwarefactory-project-zuulsoftwarefactory-project-zuul[bot]
closed #262
create-pull-request/patch
Status Success
Total duration 21s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

do-release.yml

on: pull_request
if_merged
11s
if_merged
Fit to window
Zoom out
Zoom in