Skip to content

Website: Use 'Name' key in metadata for size#112

Merged
siddharth-krishna merged 1 commit intomainfrom
use-'Name'-key-in-metadata-for-size
Feb 20, 2025
Merged

Website: Use 'Name' key in metadata for size#112
siddharth-krishna merged 1 commit intomainfrom
use-'Name'-key-in-metadata-for-size

Conversation

@jacek-oet
Copy link
Member

No description provided.

@vercel
Copy link

vercel bot commented Feb 19, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
solver-benchmark ✅ Ready (Inspect) Visit Preview 💬 Add feedback Feb 19, 2025 3:57pm

@siddharth-krishna siddharth-krishna changed the title Use 'Name' key in metadata for size Website: Use 'Name' key in metadata for size Feb 20, 2025
@siddharth-krishna siddharth-krishna merged commit 0b8aade into main Feb 20, 2025
3 checks passed
@siddharth-krishna siddharth-krishna deleted the use-'Name'-key-in-metadata-for-size branch February 20, 2025 14:06
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