Skip to content

Use workflow in github-workflows to create auto merge PR #394

Use workflow in github-workflows to create auto merge PR

Use workflow in github-workflows to create auto merge PR #394

Triggered via pull request April 10, 2025 15:41
Status Success
Total duration 22m 23s
Artifacts

pull_request.yml

on: pull_request
Soundness  /  API breakage check
3m 20s
Soundness / API breakage check
Soundness  /  Documentation check
2m 19s
Soundness / Documentation check
Soundness  /  Unacceptable language check
3s
Soundness / Unacceptable language check
Soundness  /  License headers check
7s
Soundness / License headers check
Soundness  /  Broken symlinks check
5s
Soundness / Broken symlinks check
Soundness  /  Format check
37s
Soundness / Format check
Soundness  /  Shell check
35s
Soundness / Shell check
Soundness  /  YAML lint check
2s
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