Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-07-19 | lint: Add missing `set -ex` to ci/lint/06_script.sh | MarcoFalke | |
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-31 | scripted-diff: Bump copyright headers | MarcoFalke | |
-BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT- | |||
2020-12-21 | ci: Fix COMMIT_RANGE variable value for PRs | Hennadii Stepanov | |
2020-12-18 | ci: Install missing lint packages | MarcoFalke | |
Also merge script into ci/lint_run_all.sh because env vars weren't exported properly |