Skip to content

Revert "Change java version to OpenJDK 17" #3

Revert "Change java version to OpenJDK 17"

Revert "Change java version to OpenJDK 17" #3

Triggered via push November 20, 2024 13:18
Status Skipped
Total duration 3s
Artifacts
pr-domjudge
0s
pr-domjudge
Fit to window
Zoom out
Zoom in