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

Release 5.0.15 #98

Sign in to view logs

Release 5.0.15

Release 5.0.15 #98

Triggered via pull request June 29, 2023 08:56
@pkratochpkratoch
closed #681
create-pull-request/patch
Status Success
Total duration 16s
Artifacts –

do-release.yaml

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