diff --git a/.gitea/workflows/Merge-Checker.yaml b/.gitea/workflows/Merge-Checker.yaml index 6df5ece..896affa 100644 --- a/.gitea/workflows/Merge-Checker.yaml +++ b/.gitea/workflows/Merge-Checker.yaml @@ -50,18 +50,22 @@ jobs: exit 1 fi - name: Commit and push timing results - if: github.event.pull_request.head.repo.full_name == github.repository # Only push from same repo + if: github.event.pull_request.head.repo.full_name == github.repository run: | git config --global user.name "ci-bot" git config --global user.email "ci-bot@local" BRANCH_NAME="${{ github.event.pull_request.head.ref }}" - + + echo "Checking out source branch $BRANCH_NAME" + git fetch origin "$BRANCH_NAME" + git checkout -B "$BRANCH_NAME" "origin/$BRANCH_NAME" + git add unit-tests/timing-results/matrix-timing-tests.txt if git diff --quiet --cached; then echo "No changes to commit" else git commit -m "Update matrix-timing-tests timings [skip ci]" - git push origin HEAD:$BRANCH_NAME - fi \ No newline at end of file + git push origin "$BRANCH_NAME" + fi