From faff3e3b4604519375e122c103b156ec13eef80f Mon Sep 17 00:00:00 2001 From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> Date: Mon, 13 Nov 2023 16:54:20 +0100 Subject: lint: Report all lint errors instead of early exit --- ci/lint/06_script.sh | 9 --------- 1 file changed, 9 deletions(-) (limited to 'ci/lint/06_script.sh') diff --git a/ci/lint/06_script.sh b/ci/lint/06_script.sh index af7a517930..318b2bb819 100755 --- a/ci/lint/06_script.sh +++ b/ci/lint/06_script.sh @@ -23,16 +23,7 @@ else fi export COMMIT_RANGE -# This only checks that the trees are pure subtrees, it is not doing a full -# 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/leveldb -test/lint/git-subtree-check.sh src/crc32c RUST_BACKTRACE=1 "${LINT_RUNNER_PATH}/test_runner" -test/lint/check-doc.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, -- cgit v1.2.3