Skip to content

Website: re-order things in the top details bar#111

Merged
siddharth-krishna merged 1 commit intomainfrom
sid/website-details-bar
Feb 19, 2025
Merged

Website: re-order things in the top details bar#111
siddharth-krishna merged 1 commit intomainfrom
sid/website-details-bar

Conversation

@siddharth-krishna
Copy link
Member

Re-ordered the items in this top bar:
image

Also, I changed the icon for timeout to be more "time" related. But in the future, can we find something more appropriate, like an hourglass?

@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 0:14am

Copy link
Member

@jacek-oet jacek-oet left a comment

Choose a reason for hiding this comment

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

LGTM

@siddharth-krishna siddharth-krishna merged commit 260f1c5 into main Feb 19, 2025
3 checks passed
@siddharth-krishna siddharth-krishna deleted the sid/website-details-bar branch February 19, 2025 13:45
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