Skip to content

gh-128277: remove unnecessary critical section from socket.close #139780

gh-128277: remove unnecessary critical section from socket.close

gh-128277: remove unnecessary critical section from socket.close #139780

Triggered via pull request January 1, 2025 09:48
Status Success
Total duration 12s
Artifacts

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
3s
DO-NOT-MERGE
Unresolved review
3s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Unresolved review
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: skip news, topic-free-threading
DO-NOT-MERGE
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636