diff options
author | Jonas Kohl | 2024-11-08 10:33:16 +0100 |
---|---|---|
committer | Jonas Kohl | 2024-11-08 10:33:16 +0100 |
commit | c2a4bd09d7f046f1b2d7e3978d5ee60caded0fc1 (patch) | |
tree | 1aa9f9beb87512f64db204e820e0e80b7e32ad12 /compile-and-run.sh | |
parent | 5e82199ed199ee0d520f125f8f1b092399b890c3 (diff) |
Reduce maximum execution time
Diffstat (limited to 'compile-and-run.sh')
-rwxr-xr-x | compile-and-run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile-and-run.sh b/compile-and-run.sh index 423206e..d489d2a 100755 --- a/compile-and-run.sh +++ b/compile-and-run.sh @@ -57,7 +57,7 @@ if [ $compiler_status -eq 0 ]; then -t "$runner_image" \ -f "containers/runner/Dockerfile" . \ || exit 1 - catch runner_stdout runner_stderr timeout 60 docker run \ + catch runner_stdout runner_stderr timeout 30 docker run \ --rm \ -h "java-runner-$runner_id" \ --memory=32m \ |