Commit f601c5de authored by Isuru Fernando's avatar Isuru Fernando
Browse files

allow two CI jobs on main to happen in parallel

parent 54a50aa9

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