Skip to content

Conversation

@shravanngoswamii
Copy link
Member

closes #129

@github-actions
Copy link
Contributor

Preview the changes: https://turinglang.org/pr-previews/130
Please avoid using the search feature and navigation bar in PR previews!

@shravanngoswamii shravanngoswamii merged commit a84570a into main Oct 20, 2025
3 checks passed
@shravanngoswamii shravanngoswamii deleted the sg/#129 branch October 20, 2025 12:47
github-actions bot added a commit that referenced this pull request Oct 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

font colour is not uniformly applied

2 participants