Skip to content
Pull request

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

Sign in to view logs

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test / Windows (5.9 - windows-2022)
22m 14s
Test / Linux (5.9 - jammy)
2m 10s
Test / Windows (6.0 - windows-2022)
22m 1s
Test / Linux (5.10 - jammy)
2m 8s
Test / Windows (6.1 - windows-2022)
23m 57s
Test / Linux (6.0 - jammy)
2m 17s
Test / Windows (nightly - windows-2019)
14m 42s
Test / Linux (6.1 - jammy)
3m 3s
Test / Windows (nightly-6.1 - windows-2019)
14m 23s
Test / Linux (nightly-main - jammy)
4m 3s
Test / Linux (nightly-6.1 - jammy)
4m 3s
Soundness / Broken symlinks check
4s
Soundness / API breakage check
3m 24s
Soundness / Documentation check
2m 9s
Soundness / Format check
33s
Soundness / License headers check
4s
Soundness / Python lint check
6s
Soundness / Shell check
30s
Soundness / YAML lint check
4s
Soundness / Unacceptable language check
2s
2h 1m 57s