Update entrypoint.sh

This commit is contained in:
Alexander Kuzmenkov 2020-02-17 22:52:35 +03:00 committed by GitHub
parent dd3b34cfb4
commit 84237befef
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -46,7 +46,7 @@ done
export PYTHONIOENCODING=utf-8
# Use a default number of runs if not told otherwise
export CHPC_RUNS=${CHPC_RUNS:-15}
export CHPC_RUNS=${CHPC_RUNS:-17}
# Even if we have some errors, try our best to save the logs.
set +e