Skip to content
Port merged Pull Request

[GitHub Actions] When porting a PR, skip any merge commits #30

Sign in to view logs

[GitHub Actions] When porting a PR, skip any merge commits

[GitHub Actions] When porting a PR, skip any merge commits #30

Triggered via pull request August 23, 2023 22:08
@tdonohuetdonohue
closed #2456
Status Success
Total duration 7m 43s
Artifacts –

port_merged_pull_request.yml

on: pull_request_target
port_pr
6s
port_pr
Fit to window
Zoom out
Zoom in