Flight Log / dotnet/runtime #115795

Fix race between socket receive completion and cancellation — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in dotnet/runtime on May 20, 2025; a burn — closed unmerged after human review: +60 −3, 3 files, 0 reviews.

All agent flights in dotnet/runtime · GitHub Copilot flights

BurnGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+60 −3
Files
3
Commits
4
Reviews
0
To merge
—
Task
fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

GitHub Copilot worked on a dotnet/runtime fix for a race between socket receive completion and cancellation that could raise an internal CLR error. It spanned three files, with 60 additions and 3 deletions across four commits. After human review, the pull request closed unmerged; the reviewer noted the code failed to build because of whitespace.

“@copilot currently code fails to build, there are bunch of whitespaces in the code, can you fix them first?”

— from the review (source)

From the pull request description

## Description This PR fixes an issue where a race condition between a socket receive operation completing successfully and a cancellation being requested can cause an internal CLR error: ``` Fatal error. Internal CLR error. (0x80131506) at System.Runtime.EH.DispatchEx(System.Runtime.StackFrame…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

  1. —committedcopilot-swe-agent[bot]
  2. —committedcopilot-swe-agent[bot]
  3. May 20, 2025labeleddotnet-policy-service[bot]
  4. May 20, 2025labeledliveans
  5. May 20, 2025labeleddotnet-policy-service[bot]

Cite this flight: AgentRiders Flight Log, dotnet/runtime#115795, record updated Nov 4, 2026, https://agentriders.com/logs/dotnet/runtime/115795/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.