diff options
author | Harmen Stoppels <harmenstoppels@gmail.com> | 2021-11-18 13:00:39 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-18 13:00:39 +0100 |
commit | 8f7640dbefd1adbd7e4104a404fa018f851776b5 (patch) | |
tree | e1006ae693b44360ec92913ad89eb1545bad7a81 /.github/workflows/setup_git.sh | |
parent | 7ee736a158ea9da955c54a282149208200865903 (diff) | |
download | spack-8f7640dbefd1adbd7e4104a404fa018f851776b5.tar.gz spack-8f7640dbefd1adbd7e4104a404fa018f851776b5.tar.bz2 spack-8f7640dbefd1adbd7e4104a404fa018f851776b5.tar.xz spack-8f7640dbefd1adbd7e4104a404fa018f851776b5.zip |
ci: run style unit tests only if we target develop (#27472)
Some tests assume the base branch is develop, but this branch may not
have been checked out.
Diffstat (limited to '.github/workflows/setup_git.sh')
-rwxr-xr-x | .github/workflows/setup_git.sh | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/.github/workflows/setup_git.sh b/.github/workflows/setup_git.sh index bd79daf268..e319e07512 100755 --- a/.github/workflows/setup_git.sh +++ b/.github/workflows/setup_git.sh @@ -1,9 +1,8 @@ #!/usr/bin/env sh git config --global user.email "spack@example.com" git config --global user.name "Test User" -# With fetch-depth: 0 we have a remote develop -# but not a local branch. Don't do this on develop -if [ "$(git branch --show-current)" != "develop" ] -then - git branch develop origin/develop + +# create a local pr base branch +if [[ -n $GITHUB_BASE_REF ]]; then + git fetch origin "${GITHUB_BASE_REF}:${GITHUB_BASE_REF}" fi |