diff options
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/lint/06_script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh index f174b4d074..84b3404e78 100755 --- a/ci/lint/06_script.sh +++ b/ci/lint/06_script.sh @@ -22,7 +22,7 @@ test/lint/git-subtree-check.sh src/univalue test/lint/git-subtree-check.sh src/leveldb test/lint/git-subtree-check.sh src/crc32c test/lint/check-doc.py -test/lint/lint-all.py +test/lint/all-lint.py if [ "$CIRRUS_REPO_FULL_NAME" = "bitcoin/bitcoin" ] && [ "$CIRRUS_PR" = "" ] ; then # Sanity check only the last few commits to get notified of missing sigs, |