Skip to content

Avoid useless logs when no split are needed #6433

Avoid useless logs when no split are needed

Avoid useless logs when no split are needed #6433

Triggered via pull request March 13, 2026 13:26
Status Cancelled
Total duration 3s
Artifacts
Check pull request labels
0s
Check pull request labels
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Check pull request labels
Canceling since a higher priority waiting request for Validate PR Label Format-refs/pull/10840/merge exists
Validate PR Label Format
Canceling since a higher priority waiting request for Validate PR Label Format-refs/pull/10840/merge exists