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)
ci: Remove unused ci/lint_run_all.sh #33095
pull maflcko wants to merge 1 commits into bitcoin:master from maflcko:2503-ci-lint-slim changing 1 files +0 −18-
maflcko commented at 7:35 AM on July 30, 2025: member
-
fa7fc8b1d1
ci: Remove unused ci/lint_run_all.sh
As per the file content, this can be deleted now.
- DrahtBot added the label Tests on Jul 30, 2025
-
DrahtBot commented at 7:35 AM on July 30, 2025: contributor
<!--e57a25ab6845829454e8d69fc972939a-->
The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.
<!--006a51241073e994b41acfe9ec718e94-->
Code Coverage & Benchmarks
For details see: https://corecheck.dev/bitcoin/bitcoin/pulls/33095.
<!--021abf342d371248e50ceaed478a90ca-->
Reviews
See the guideline for information on the review process. A summary of reviews will appear here.
<!--5faf32d7da4f0f540f40219e4f7537a3-->
-
maflcko commented at 7:36 AM on July 30, 2025: member
Hmm, let's just do it in the other pull.
- maflcko closed this on Jul 30, 2025
- maflcko deleted the branch on Jul 30, 2025
