aboutsummaryrefslogtreecommitdiff
path: root/ci/lint_run_all.sh
AgeCommit message (Collapse)Author
2023-07-19lint: Add missing `set -ex` to ci/lint/06_script.shMarcoFalke
This is needed for the container-entrypoint.sh Also, remove unused `source` from ci/lint_run_all.sh, since it is the last step.
2020-12-31scripted-diff: Bump copyright headersMarcoFalke
-BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-
2020-12-21ci: Fix COMMIT_RANGE variable value for PRsHennadii Stepanov
2020-12-18ci: Install missing lint packagesMarcoFalke
Also merge script into ci/lint_run_all.sh because env vars weren't exported properly