add rank.

src/oj/contest/components/AcAndSubmission.vue

@@ -1,12 +1,25 @@
 <script setup lang="ts">
-import { ContestRank } from "~/utils/types"
+import { ContestRank, ProblemFiltered } from "~/utils/types"
 
-defineProps<{ rank: ContestRank }>()
+interface Props {
+  rank: ContestRank
+}
+const props = defineProps<Props>()
+const router = useRouter()
+
+function goto() {
+  router.push({
+    name: "contest submissions",
+    query: { username: props.rank.user.username },
+  })
+}
 </script>
 
 <template>
   {{ rank.accepted_number }} /
-  <n-button text type="primary">{{ rank.submission_number }}</n-button>
+  <n-button text type="primary" @click="goto">
+    {{ rank.submission_number }}
+  </n-button>
 </template>
 
 <style scoped></style>