4 Commits (d38dbaad98c441e4b55174ab5343fc605abe90c3)

Author	SHA1	Message	Date
MarcoFalke	ffff4b5dc5	lint: Add missing `set -ex` to ci/lint/06_script.sh ... This is needed for the container-entrypoint.sh Also, remove unused `source` from ci/lint_run_all.sh, since it is the last step.	1 year ago
MarcoFalke	fa0074e2d8	scripted-diff: Bump copyright headers ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	4 years ago
Hennadii Stepanov	93504da3a9	ci: Fix COMMIT_RANGE variable value for PRs	4 years ago
MarcoFalke	faeb40bee3	ci: Install missing lint packages ... Also merge script into ci/lint_run_all.sh because env vars weren't exported properly	4 years ago