Skip to content

Also run the status_checks in the merge queue#2821

Merged
vmcj merged 1 commit intoDOMjudge:mainfrom
vmcj:merge-queue
Nov 22, 2024
Merged

Also run the status_checks in the merge queue#2821
vmcj merged 1 commit intoDOMjudge:mainfrom
vmcj:merge-queue

Commits

Commits on Nov 22, 2024