diff options
Diffstat (limited to 'ci/lint')
| -rwxr-xr-x | ci/lint/06_script.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh index 11dda51d2d..bcb50308b5 100755 --- a/ci/lint/06_script.sh +++ b/ci/lint/06_script.sh @@ -17,6 +17,7 @@ export COMMIT_RANGE # check with -r to not have to fetch all the remotes. test/lint/git-subtree-check.sh src/crypto/ctaes test/lint/git-subtree-check.sh src/secp256k1 +test/lint/git-subtree-check.sh src/minisketch test/lint/git-subtree-check.sh src/univalue test/lint/git-subtree-check.sh src/leveldb test/lint/git-subtree-check.sh src/crc32c |