From be7e0f6d817fd3b6f87a175782463863e663c6b6 Mon Sep 17 00:00:00 2001 From: barshaul Date: Mon, 25 Mar 2024 09:16:47 +0000 Subject: [PATCH] CI: Fix ORT branch name --- .github/workflows/ort.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ort.yml b/.github/workflows/ort.yml index bb910792d6..70ff0bbc22 100644 --- a/.github/workflows/ort.yml +++ b/.github/workflows/ort.yml @@ -190,7 +190,7 @@ jobs: - name: Create pull request if: ${{ env.FOUND_DIFF == 'true' && github.event_name != 'pull_request' }} run: | - export BRANCH_NAME=`if [ "$EVENT_NAME" == 'schedule' || "$EVENT_NAME" == 'pull_request' ]; then echo 'scheduled-ort'; else echo 'ort-v"$INPUT_VERSION"'; fi` + export BRANCH_NAME=`if [ "$EVENT_NAME" == 'schedule' ] || [ "$EVENT_NAME" == 'pull_request' ]; then echo 'scheduled-ort'; else echo "ort-v$INPUT_VERSION"; fi` echo "Creating pull request from branch ${BRANCH_NAME} to branch ${{ env.BASE_BRANCH }}" git config --global user.email "glide-for-redis@amazon.com" git config --global user.name "ort-bot"