Skip to content

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Aug 2, 2025

This gave a compiler warning.

@vmcj vmcj requested a review from meisterT August 4, 2025 06:20
@vmcj vmcj force-pushed the compilation_warning_runguard branch from 7421aa4 to 646288b Compare August 9, 2025 13:42
This gave a compiler warning. We only use the function in case something
is already wrong so signalling further that the error failed doesn't
help us anymore.
@vmcj vmcj force-pushed the compilation_warning_runguard branch from 646288b to a636a16 Compare August 9, 2025 13:42
@eldering eldering added this pull request to the merge queue Aug 17, 2025
Merged via the queue into DOMjudge:main with commit d6dd5b3 Aug 17, 2025
36 checks passed
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.

3 participants