Repository navigation

Dino-1114: add profile leaderboard navigate to current leaderboard - #1055

Open

Pendoof wants to merge 7 commits into

mainfrom

Open

Dino-1114: add profile leaderboard navigate to current leaderboard#1055
Pendoof wants to merge 7 commits into
mainfrom
DINO-1114

Commits on Oct 28, 2026
- DINO-1114: profile leaderboard link to open current leaderboard
  Pendoof
  committed
  85037ab
- DINO-1114: add readonly to props
  Pendoof
  committed
  40e9aca
- Refresh recent submission times every minute and make clickable tag badges keyboard accessible
  coderabbitai[bot]
  committed
  f229812
- DINO-1114: add tag navigation test
  Pendoof
  committed
  3ed1002
Commits on Oct 29, 2026