From 47485966d07eef635f4a197678f051ce3331e9e1 Mon Sep 17 00:00:00 2001 From: abejgonzalez Date: Tue, 15 Feb 2022 09:41:29 -0800 Subject: [PATCH] Fix branch name in CI --- .github/scripts/defaults.sh | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/scripts/defaults.sh b/.github/scripts/defaults.sh index 25bffb6a..8022a470 100755 --- a/.github/scripts/defaults.sh +++ b/.github/scripts/defaults.sh @@ -9,12 +9,11 @@ REMOTE_MAKE_NPROC=4 VERILATOR_VERSION=v4.034 HOME=$GITHUB_WORKSPACE -CURRENT_BRANCH=$(git branch --show-current) # remote variables # CI_DIR is defined externally based on the GH repository secret BUILDDIR -REMOTE_PREFIX=$CI_DIR/${GITHUB_REPOSITORY#*/}-$CURRENT_BRANCH +REMOTE_PREFIX=$CI_DIR/${GITHUB_REPOSITORY#*/}-${GITHUB_REF_NAME//\//-} REMOTE_WORK_DIR=$GITHUB_WORKSPACE REMOTE_RISCV_DIR=$GITHUB_WORKSPACE/riscv-tools-install REMOTE_ESP_DIR=$GITHUB_WORKSPACE/esp-tools-install