Compare commits

..

1 Commits

Author SHA1 Message Date
09c74c1a2e Timings get auto-comitted
Some checks failed
Merge-Checker / build_and_test (pull_request) Failing after 22s
2025-05-21 18:13:08 -04:00

View File

@@ -50,18 +50,18 @@ 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
run: |
git config --global user.name "ci-bot"
git config --global user.email "ci-bot@local"
git config --global user.name "github-actions[bot]"
git config --global user.email "github-actions[bot]@users.noreply.github.com"
# Save current branch name
BRANCH_NAME=$(echo "${GITHUB_REF##refs/heads/}")
BRANCH_NAME="${{ github.event.pull_request.head.ref }}"
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
fi