Compare commits
1 Commits
1749408bdd
...
130858099c
| Author | SHA1 | Date | |
|---|---|---|---|
| 130858099c |
@@ -54,12 +54,13 @@ 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
|
||||||
@@ -71,7 +72,6 @@ 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