Skip to content

Conversation

24anisha
Copy link
Contributor

I couldn't push the fixes to Ben's fork for this issue: #345

So I made a copy and fixed the tests here, preserving all the code changes Ben made.

@connor4312 connor4312 enabled auto-merge July 25, 2025 20:49
@vs-code-engineering vs-code-engineering bot added this to the July 2025 milestone Jul 25, 2025
@connor4312 connor4312 added this pull request to the merge queue Jul 25, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jul 25, 2025
@connor4312 connor4312 added this pull request to the merge queue Jul 25, 2025
Merged via the queue into microsoft:main with commit 808d655 Jul 25, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants