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

Release 0.23.0 #146

Sign in to view logs

Release 0.23.0

Release 0.23.0 #146

Triggered via pull request October 30, 2023 09:04
@softwarefactory-project-zuulsoftwarefactory-project-zuul[bot]
closed #297
create-pull-request/patch
Status Success
Total duration 15s
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
4s
if_merged
Fit to window
Zoom out
Zoom in