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

Release 5.1.7 #246

Sign in to view logs

Release 5.1.7

Release 5.1.7 #246

Triggered via pull request November 9, 2023 11:33
@inknosinknos
closed #1006
create-pull-request/patch
Status Success
Total duration 17s
Artifacts –

do-release.yaml

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