Age | Commit message (Expand) | Author |
---|---|---|
2023-07-19 | lint: Add missing `set -ex` to ci/lint/06_script.sh | MarcoFalke |
2020-12-31 | scripted-diff: Bump copyright headers | MarcoFalke |
2020-12-21 | ci: Fix COMMIT_RANGE variable value for PRs | Hennadii Stepanov |
2020-12-18 | ci: Install missing lint packages | MarcoFalke |