Skip to content

Add warning message in case the judgehost is not enabled. #3877

Add warning message in case the judgehost is not enabled.

Add warning message in case the judgehost is not enabled. #3877

Triggered via push October 5, 2024 12:23
Status Success
Total duration 17s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
phpcs
No files to check, exiting...