Skip to content

Conversation

@nickygerritsen
Copy link
Member

As reported by @mkfuron on Slack.

@nickygerritsen nickygerritsen added this pull request to the merge queue Nov 17, 2025
Merged via the queue into DOMjudge:main with commit 701a08d Nov 17, 2025
37 checks passed
@nickygerritsen nickygerritsen deleted the externalid-for-results branch November 17, 2025 17:17
@mkfuron
Copy link
Contributor

mkfuron commented Nov 19, 2025

I manually applied these changes and I was successful in exporting the results.

The prompt resolution to this issue is appreciated!

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.

4 participants