All pull requests

Pull requests

• DINO-1082: add discord announcement route and admin ui button

  #1060·Pendoof opened Nov 2, 2026Contributor·5 tasks done·

  ·
  21

• deps(non-main): Bump the "non-main" group with 1 update across multiple ecosystems

  dependenciesdocker
  #1059·dependabot[bot] opened Nov 1, 2026Bot·

  ·
  10

• deps(main): Bump the "main" group with 4 updates across multiple ecosystems

  dependenciesjava
  #1058·dependabot[bot] opened Oct 30, 2026Bot·

  ·
  11

• deps(ci): Bump the "cicd" group with 1 update across multiple ecosystems

  dependenciesgithub_actions
  #1057·dependabot[bot] opened Oct 30, 2026Bot·

  ·
  1

• Dino-1114: add profile leaderboard navigate to current leaderboard

  #1055·Pendoof opened Oct 28, 2026Contributor·6 tasks done·

  ·
  48

• DINO-1049: Formatted view for the dashboard only in mobile. (missing checklist)

  #1053·ThisRyanZhou opened Oct 25, 2026·6 tasks done·

  ·
  51

• DINO-839: Add user submission metrics to the frontend

  #1048·schen25 opened Oct 22, 2026·6 tasks done·

  ·
  101

• deps(main): adopt major upgrades (Spring Boot 4, Jackson 3, React 19, Mantine 9, TS 7, ...)

  #1046·tahminator opened Oct 19, 2026Member·

  ·
  9

• TAN-989: DRAFT - Investigate and Fix LeetCode question error in prod

  #991·naanci opened Oct 5, 2026Member·6 tasks done·

  ·
  42