4 Commits

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.	2023-07-19 11:39:50 +02:00
MarcoFalke	fa0074e2d8	scripted-diff: Bump copyright headers ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	2020-12-31 09:45:41 +01:00
Hennadii Stepanov	93504da3a9	ci: Fix COMMIT_RANGE variable value for PRs	2020-12-21 12:10:43 +02:00
MarcoFalke	faeb40bee3	ci: Install missing lint packages ... Also merge script into ci/lint_run_all.sh because env vars weren't exported properly	2020-12-18 07:40:57 +01:00