diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-01-02 14:08:07 +0100 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-01-02 14:05:23 +0100 |
commit | fa5cbf2290dab08296cabbd973e9adefc883f3fc (patch) | |
tree | 4c38b8e316c6fbe889451c12a3dbc94383e35556 /ci/lint | |
parent | d8bdee0fc889def7c5f5076da13db4fce0a3728a (diff) |
ci: Properly set COMMIT_RANGE in lint task
Diffstat (limited to 'ci/lint')
-rwxr-xr-x | ci/lint/06_script.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh index a1721a703f..c14d7473d3 100755 --- a/ci/lint/06_script.sh +++ b/ci/lint/06_script.sh @@ -6,9 +6,8 @@ export LC_ALL=C -GIT_HEAD=$(git rev-parse HEAD) if [ -n "$CIRRUS_PR" ]; then - COMMIT_RANGE="${CIRRUS_BASE_SHA}..$GIT_HEAD" + COMMIT_RANGE="HEAD~..HEAD" echo git log --no-merges --oneline "$COMMIT_RANGE" echo |