Skip to content

Conversation

sandy081
Copy link
Member

No description provided.

@sandy081 sandy081 enabled auto-merge (squash) July 24, 2025 10:57
@sandy081 sandy081 self-assigned this Jul 24, 2025
@vs-code-engineering vs-code-engineering bot added this to the July 2025 milestone Jul 24, 2025
@sandy081 sandy081 merged commit 33d7111 into main Jul 24, 2025
18 checks passed
@sandy081 sandy081 deleted the sandy081/formal-badger branch July 24, 2025 11:52
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Sep 7, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants