summaryrefslogtreecommitdiff
path: root/containers
diff options
context:
space:
mode:
authorJonas Kohl2024-11-08 10:33:16 +0100
committerJonas Kohl2024-11-08 10:33:16 +0100
commitc2a4bd09d7f046f1b2d7e3978d5ee60caded0fc1 (patch)
tree1aa9f9beb87512f64db204e820e0e80b7e32ad12 /containers
parent5e82199ed199ee0d520f125f8f1b092399b890c3 (diff)
Reduce maximum execution time
Diffstat (limited to 'containers')
-rw-r--r--containers/compiler/execute.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/containers/compiler/execute.sh b/containers/compiler/execute.sh
index 6831a8b..02c3fb2 100644
--- a/containers/compiler/execute.sh
+++ b/containers/compiler/execute.sh
@@ -2,4 +2,4 @@
EXEC_DIR=/tmp/exec
-timeout 60 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null"
+timeout 30 sh -c "javac -Xlint:deprecation '$APPLICATION_NAME.java' -d '$EXEC_DIR' > /dev/null"