Skip to content
Back to pull request #2475

[no-ci] CI: avoid SIGPIPE when selecting core release tag #4918

Sign in to view logs

[no-ci] CI: avoid SIGPIPE when selecting core release tag

[no-ci] CI: avoid SIGPIPE when selecting core release tag #4918

PR has assignee, labels, and milestone

PR has assignee, labels, and milestone
succeeded Aug 1, 2026 in 3s