sync: dev to extern-contrib - #1014

Open

github-actions[bot] wants to merge 9 commits into

extern-contribfrom

Commits on Aug 6, 2026

Merge pull request #1006 from XMOJ-Script-dev/extern-contrib
boomzero
authored
5cd9fd5

Commits on Aug 21, 2026

fix: handle PID 0 submission rows
boomzero
committed
14498fa
3.6.2
github-actions[bot]
committed
3b1c60f
Update version info to 3.6.2
github-actions[bot]
committed
811e84d
refactor: build submission links safely
boomzero
committed
f64d95c
Update time and description of 3.6.2
github-actions[bot]
committed
37c9ef2
fix: scope guard to missing resubmit link
boomzero
committed
eb3b9bf
Update time and description of 3.6.2
github-actions[bot]
committed
b3b0aa4
Merge pull request #1013 from XMOJ-Script-dev/fix/status-pid-zero-layout
boomzero
authored
2e7229e