ci: Remove unused ci/lint_run_all.sh #33095

1. 
   maflcko commented at 7:35 am on July 30, 2025: member

   As per the file content, this can be deleted now. (Stale re-runs are no longer performed for lint right now and the CI will be reworked anyway)
2. ci: Remove unused ci/lint_run_all.sh

   As per the file content, this can be deleted now.

   fa7fc8b1d1
3. DrahtBot added the label Tests on Jul 30, 2025
4. 
   DrahtBot commented at 7:35 am on July 30, 2025: contributor

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Code Coverage & Benchmarks

   For details see: https://corecheck.dev/bitcoin/bitcoin/pulls/33095.

   Reviews

   See the guideline for information on the review process. A summary of reviews will appear here.

5. 
   maflcko commented at 7:36 am on July 30, 2025: member

   Hmm, let’s just do it in the other pull.
6. maflcko closed this on Jul 30, 2025

   ---

7. maflcko deleted the branch on Jul 30, 2025

Contributors
maflcko DrahtBot

Labels
Tests