Skip to content

Add GitHub action that automatically creates a PR to merge main into a release branch #392

Add GitHub action that automatically creates a PR to merge main into a release branch

Add GitHub action that automatically creates a PR to merge main into a release branch #392

Triggered via pull request April 9, 2025 23:51
Status Success
Total duration 24m 12s
Artifacts

pull_request.yml

on: pull_request
Soundness  /  API breakage check
3m 24s
Soundness / API breakage check
Soundness  /  Documentation check
2m 9s
Soundness / Documentation check
Soundness  /  Unacceptable language check
2s
Soundness / Unacceptable language check
Soundness  /  License headers check
4s
Soundness / License headers check
Soundness  /  Broken symlinks check
4s
Soundness / Broken symlinks check
Soundness  /  Format check
33s
Soundness / Format check
Soundness  /  Shell check
30s
Soundness / Shell check
Soundness  /  YAML lint check
4s
Soundness / YAML lint check
Soundness  /  Python lint check
6s
Soundness / Python lint check
Matrix: Test / linux-build
Matrix: Test / windows-build
Fit to window
Zoom out
Zoom in