Compare commits
1 Commits
130858099c
...
1749408bdd
| Author | SHA1 | Date | |
|---|---|---|---|
| 1749408bdd |
@@ -54,13 +54,12 @@ jobs:
|
|||||||
run: |
|
run: |
|
||||||
git config --global user.name "ci-bot"
|
git config --global user.name "ci-bot"
|
||||||
git config --global user.email "ci-bot@local"
|
git config --global user.email "ci-bot@local"
|
||||||
|
git stash
|
||||||
|
|
||||||
BRANCH_NAME="${{ github.event.pull_request.head.ref }}"
|
BRANCH_NAME="${{ github.event.pull_request.head.ref }}"
|
||||||
git stash
|
|
||||||
git checkout "$BRANCH_NAME" "origin/$BRANCH_NAME"
|
|
||||||
git pull
|
|
||||||
|
|
||||||
echo "Checking if last commit was a timing update"
|
echo "Checking if last commit was a timing update"
|
||||||
|
git pull
|
||||||
LAST_COMMIT_MSG=$(git log -1 --pretty=%B)
|
LAST_COMMIT_MSG=$(git log -1 --pretty=%B)
|
||||||
|
|
||||||
if echo "$LAST_COMMIT_MSG" | grep -q "Update matrix-timing-tests timings"; then
|
if echo "$LAST_COMMIT_MSG" | grep -q "Update matrix-timing-tests timings"; then
|
||||||
@@ -72,6 +71,7 @@ jobs:
|
|||||||
|
|
||||||
echo "Checking out source branch $BRANCH_NAME"
|
echo "Checking out source branch $BRANCH_NAME"
|
||||||
git fetch origin "$BRANCH_NAME"
|
git fetch origin "$BRANCH_NAME"
|
||||||
|
git checkout -B "$BRANCH_NAME" "origin/$BRANCH_NAME"
|
||||||
git stash pop
|
git stash pop
|
||||||
|
|
||||||
git add unit-tests/timing-results/matrix-timing-tests.txt
|
git add unit-tests/timing-results/matrix-timing-tests.txt
|
||||||
|
|||||||
Reference in New Issue
Block a user