Skip to content

Website: fix benchmark page filters#141

Merged
siddharth-krishna merged 1 commit intomainfrom
95-Website-Q4-improvements-and-cleanup-Filters
Apr 2, 2025
Merged

Website: fix benchmark page filters#141
siddharth-krishna merged 1 commit intomainfrom
95-Website-Q4-improvements-and-cleanup-Filters

Conversation

@jacek-oet
Copy link
Member

No description provided.

@vercel
Copy link

vercel bot commented Apr 2, 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 Apr 2, 2025 1:49pm

Copy link
Member

@siddharth-krishna siddharth-krishna left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks so much!!

@siddharth-krishna siddharth-krishna changed the title Website: Benchmark Filters Website: fix benchmark page filters Apr 2, 2025
@siddharth-krishna siddharth-krishna enabled auto-merge (squash) April 2, 2025 13:51
@siddharth-krishna siddharth-krishna merged commit 38b295e into main Apr 2, 2025
4 checks passed
@siddharth-krishna siddharth-krishna deleted the 95-Website-Q4-improvements-and-cleanup-Filters branch April 2, 2025 13:52
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