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

Release 5.2.2.0 #524

Sign in to view logs

Release 5.2.2.0

Release 5.2.2.0 #524

Triggered via pull request May 28, 2024 11:55
@jan-kolarikjan-kolarik
closed #1516
create-pull-request/patch
Status Success
Total duration 19s
Artifacts –

do-release.yaml

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