Skip to content

Conversation

shravanngoswamii
Copy link
Member

Added a deprecation label for TuringBenchmarking and also improved the UI of libraries page!

Copy link
Contributor

github-actions bot commented May 5, 2025

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

@yebai
Copy link
Member

yebai commented May 5, 2025

Thanks @shravanngoswamii!

@yebai yebai merged commit 261846a into main May 5, 2025
3 checks passed
@yebai yebai deleted the sg/libraries-update branch May 5, 2025 09:27
github-actions bot added a commit that referenced this pull request May 5, 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.

2 participants