PR #20760 [ty] Use 3.14 in the ty playground

[ty] Use 3.14 in the ty playground #20760

sharkdp merged 1 commit into main from david/playground-3.14

[ty] Use 3.14 in the ty playground

ab99c527

sharkdp added playground

sharkdp added ty

AlexWaygood approved these changes on 2025-10-08

sharkdp merged db80febb into main 87 days ago

sharkdp deleted the david/playground-3.14 branch 87 days ago

Reviewers

AlexWaygood

Assignees

No one assigned

Labels

playground ty

Milestone

No milestone