woj-server/resource/runner/scripts
2024-01-05 15:03:04 +08:00
..
common.sh feat: deploy support 2023-08-11 23:56:30 +08:00
docker_run.sh fix: docker_run.sh: revert back network option 2023-12-31 16:06:28 +08:00
import.sh chore: import.sh: read config from env 2024-01-05 15:03:04 +08:00
prepare_images.sh feat: judger: limit memory usage and add more docs 2023-12-23 19:59:38 +08:00
problem_compile.sh feat: judger: limit memory usage and add more docs 2023-12-23 19:59:38 +08:00
problem_judge.sh feat: judger: limit memory usage and add more docs 2023-12-23 19:59:38 +08:00
problem_prebuild.sh fix: problem_prebuild.sh: allow to have no prebuild.Makefile script 2023-12-31 16:07:41 +08:00
problem_run.sh fix: permission denied 2024-01-04 18:12:00 +08:00
problem.sh feat: judger: limit memory usage and add more docs 2023-12-23 19:59:38 +08:00
ubuntu-full.Dockerfile fix: permission denied 2024-01-04 18:12:00 +08:00
ubuntu-run.Dockerfile fix: permission denied 2024-01-04 18:12:00 +08:00