Compare commits
1 Commits
f0bba4b97c
...
09c74c1a2e
| Author | SHA1 | Date | |
|---|---|---|---|
| 09c74c1a2e |
@@ -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
|
||||
|
||||
|
||||
Reference in New Issue
Block a user