diff --git a/.github/workflows/ci-scripts/docker.sh b/.github/workflows/ci-scripts/docker.sh index 720c3ac28d10f..b7530a810648b 100755 --- a/.github/workflows/ci-scripts/docker.sh +++ b/.github/workflows/ci-scripts/docker.sh @@ -139,7 +139,7 @@ execute "WML indentation check" checkindent if [ "$IMAGE" != "1804" ]; then execute "Doxygen check" ./utils/CI/doxygen-check.sh fi -execute "WML tests" ./run_wml_tests -g -v -c -t 20 +execute "WML tests" ./run_wml_tests -g -v -c -t 30 execute "Play tests" ./utils/CI/play_test_executor.sh execute "MP tests" ./utils/CI/play_test_executor.sh execute "Boost unit tests" ./utils/CI/test_executor.sh