aboutsummaryrefslogtreecommitdiff
path: root/ci/lint_run_all.sh
AgeCommit message (Expand)Author
2023-07-19lint: Add missing `set -ex` to ci/lint/06_script.shMarcoFalke
2020-12-31scripted-diff: Bump copyright headersMarcoFalke
2020-12-21ci: Fix COMMIT_RANGE variable value for PRsHennadii Stepanov
2020-12-18ci: Install missing lint packagesMarcoFalke