Skip to content

Conversation

meisterT
Copy link
Member

@meisterT meisterT commented Sep 6, 2025

This broke after trying to fix another bug in
43b9c88.

(cherry picked from commit b3811b5)

@meisterT meisterT enabled auto-merge September 6, 2025 05:35
This broke after trying to fix another bug in
43b9c88.

(cherry picked from commit b3811b5)
@meisterT meisterT force-pushed the cherryfixolimitwarn branch from 4461f41 to 5518ce0 Compare September 7, 2025 13:04
@meisterT meisterT added this pull request to the merge queue Sep 7, 2025
Merged via the queue into DOMjudge:main with commit 6e2b928 Sep 7, 2025
36 checks passed
@meisterT meisterT deleted the cherryfixolimitwarn branch September 7, 2025 14:47
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.

1 participant