Skip to content

Make the creation of a prerelease on GitHub a separate job in the publish release workflow #330

Make the creation of a prerelease on GitHub a separate job in the publish release workflow

Make the creation of a prerelease on GitHub a separate job in the publish release workflow #330

Triggered via pull request March 7, 2025 17:01
Status Success
Total duration 16m 0s
Artifacts

pull_request.yml

on: pull_request
Soundness  /  API breakage check
3m 29s
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
7s
Soundness / License headers check
Soundness  /  Broken symlinks check
2s
Soundness / Broken symlinks check
Soundness  /  Format check
36s
Soundness / Format check
Soundness  /  Shell check
39s
Soundness / Shell check
Soundness  /  YAML lint check
2s
Soundness / YAML lint check
Soundness  /  Python lint check
5s
Soundness / Python lint check
Matrix: Test / linux-build
Matrix: Test / windows-build
Fit to window
Zoom out
Zoom in