Speedup the copy to S3

Author: dpiparo

.github/workflows/continuous-integration-workflow.yml

@@ -63,6 +63,7 @@ jobs:
         if: ${{ env.SHOULD_DEPLOY == 'true' }}
         run: |
           DEST="s3://root/${PR_NUMBER:-}" # if PR, upload in s3://root/<prnumber>
+          aws configure set default.s3.max_concurrent_requests 200
           aws --endpoint-url https://s3.cern.ch s3 sync --delete build/${PR_NUMBER:-} ${DEST}
         env:
           AWS_ACCESS_KEY_ID: ${{ secrets.AWS_ACCESS_KEY_ID }}