diff options
Diffstat (limited to '.gitlab-ci')
| -rwxr-xr-x | .gitlab-ci/fossils/fossils.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci/fossils/fossils.sh b/.gitlab-ci/fossils/fossils.sh index fa49efca2ce..d951a7e6431 100755 --- a/.gitlab-ci/fossils/fossils.sh +++ b/.gitlab-ci/fossils/fossils.sh @@ -64,7 +64,7 @@ create_clean_git for fossil in $(query_fossils_yaml fossils) do fetch_fossil "$fossil" || exit $? - fossilize-replay $fossil || exit $? + fossilize-replay --num-threads 4 $fossil || exit $? rm $fossil done |