Unverified Commit 4fbe1c99 authored by Andreas Klöckner's avatar Andreas Klöckner Committed by GitHub
Browse files

Merge pull request #11 from isuruf/ci-parallel 

allow two CI jobs on main to happen in parallel
parents 54a50aa9 f601c5de

ci-support.sh

+1 −0
Original line number Diff line number Diff line
@@ -529,6 +529,7 @@ function upload_benchmark_results { 
    export GIT_COMMITTER_NAME=$GIT_AUTHOR_NAME

    export GIT_COMMITTER_EMAIL=$GIT_AUTHOR_EMAIL

    git commit -m "Update benchmark data for $main_commit" --allow-empty

    ssh-agent bash -c "ssh-add $PWD/../.deploy_key; git pull -r origin main"

    ssh-agent bash -c "ssh-add $PWD/../.deploy_key; git push"

    cd ..

  fi