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

Release 5.1.15 #389

Sign in to view logs

Release 5.1.15

Release 5.1.15 #389

Triggered via pull request March 5, 2024 14:04
@inknosinknos
closed #1296
create-pull-request/patch
Status Skipped
Total duration 2s
Artifacts –

do-release.yaml

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