Skip to content
Build domjudge container (PR)

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

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. #139

pr-domjudge

pr-domjudge
succeeded Oct 20, 2024 in 6m 52s