diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-12-18 12:17:25 +0200 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-12-21 12:10:43 +0200 |
| commit | 93504da3a932f33126545ebc9383f695a6efe51e (patch) | |
| tree | 9d8beb1342e5110a7c2b39a5be8767b54fa082c8 /ci/lint_run_all.sh | |
| parent | f1dbf92ff0475a01d20170ea422c1d086acbbc57 (diff) | |
ci: Fix COMMIT_RANGE variable value for PRs
Diffstat (limited to 'ci/lint_run_all.sh')
| -rwxr-xr-x | ci/lint_run_all.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ci/lint_run_all.sh b/ci/lint_run_all.sh index 2623f46828..e383ffd9d6 100755 --- a/ci/lint_run_all.sh +++ b/ci/lint_run_all.sh @@ -8,5 +8,4 @@ export LC_ALL=C.UTF-8 set -o errexit; source ./ci/test/00_setup_env.sh set -o errexit; source ./ci/lint/04_install.sh -set -o errexit; source ./ci/lint/05_before_script.sh set -o errexit; source ./ci/lint/06_script.sh |