precommit: Increase timeout and reduce num_workers

This commit is contained in:
Ole Schütt 2020-08-25 13:26:48 +02:00 committed by Ole Schütt
parent 1ad933c00c
commit dc98efcbef
2 changed files with 3 additions and 3 deletions

View file

@ -22,7 +22,7 @@ else
git --no-pager log -1 --pretty='%nCommitSHA: %H%nCommitTime: %ci%nCommitAuthor: %an%nCommitSubject: %s%n'
echo -e "\n========== Running Precommit Checks =========="
export CP2K_PRECOMMIT_SERVER="http://127.0.0.1:8080"
./tools/precommit/precommit.py --no-cache --progressbar-wait=10 || true
./tools/precommit/precommit.py --no-cache --progressbar-wait=10 -j 4 || true
fi
#EOF