Skip to content

Prevent some 404 URLs#3478

Merged
vmcj merged 2 commits intoDOMjudge:mainfrom
vmcj:webstandard_404
Feb 28, 2026
Merged

Prevent some 404 URLs#3478
vmcj merged 2 commits intoDOMjudge:mainfrom
vmcj:webstandard_404

Conversation

@vmcj
Copy link
Member

@vmcj vmcj commented Feb 28, 2026

Found those while fixing the webstandard tests. I wonder if we should be more strict and not allow 404 during such tests so we would have found those sooner.

vmcj added 2 commits February 28, 2026 11:11
Also fixed the title of a page where we still did p{{id},
with the move to externalid we now display without the p. So made
this consistent.
@vmcj vmcj enabled auto-merge February 28, 2026 10:22
@vmcj vmcj added this pull request to the merge queue Feb 28, 2026
Merged via the queue into DOMjudge:main with commit 0c5494e Feb 28, 2026
42 checks passed
@vmcj vmcj deleted the webstandard_404 branch February 28, 2026 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants