style: refine leaderboard history filters with clear controls#122
style: refine leaderboard history filters with clear controls#122marktech0813 wants to merge 1 commit into
Conversation
Sidebar session clicks only updated the active id, so a draft typed in one session could be sent into another after switching (gittensor-agent-forge#106). Co-authored-by: Cursor <cursoragent@cursor.com>
|
This PR was closed because the active competition accepts only scoped Leaderboard UI submissions.
Update the PR title, description, and files, then reopen the PR. |
marktech0813
changed the title
|
This PR was closed because the active competition accepts only scoped Leaderboard UI submissions.
Update the PR title, description, and files, then reopen the PR. |
|
Cannot reopen this PR after the branch was force-pushed with Leaderboard-only files (GitHub: “state cannot be changed. The branch was force-pushed or recreated.”). Compliant replacement: #124 — same Leaderboard UI fix (clearable history filters), approved template + allowed files only. Generation UI (#106) remains out of scope for the active competition. |
|
Update: GitHub permanently refuses to reopen this PR ( |
1 participant
Summary
Makes the Resolved PR History filter/search controls recoverable: clear the search field, reset all filters in one click, and show a contextual empty state when a filter returns no matches.
Contribution Type
Motivation
Once a reviewer types a search or picks a non-All filter that yields zero rows, the archive looks empty with no obvious way back. The prior empty copy always said "No Resolved PRs", which is misleading when the archive has entries that simply don't match the active controls.
This PR was originally a Generation UI fix for #106; the active competition only accepts Leaderboard UI, so the branch was rewritten to the approved Leaderboard surface.
Changes
aria-livematch summary.LeaderboardBoard.tsx,styles.css.Testing
Visual Evidence
Notes
Supersedes the Generation UI attempts on this PR and #121. Same payload previously opened as #123 (closed to satisfy the one-open-Leaderboard-PR rule).