Skip to content
Build domjudge container (PR)

Update the command to package the local source into a Docker image. #141

Sign in to view logs

Update the command to package the local source into a Docker image.

Update the command to package the local source into a Docker image. #141

pr-domjudge

pr-domjudge
succeeded Nov 21, 2024 in 6m 29s