ci: Lint follow-ups #33776

1. 
   maflcko commented at 1:30 pm on November 4, 2025: member

   This contains a few follow-ups to #33744:

   • Rewrite the actions Bash snippet to Python. I’ve confirmed it still works in https://github.com/maflcko/bitcoin-core-with-ci/actions/runs/19067932430 (scroll down).
   • Add a lint-build retry to avoid issues such as #33640 for the lint task as well.
   • Finally, run the debug_pull_request_number_str annotation on all checks, to ensure they are present even when GitHub deletes annotations on a re-run. For example, the initial attempt https://github.com/bitcoin/bitcoin/actions/runs/19041534107/attempts/1?pr=33772 has the annotations, and the lint re-run has them removed: https://github.com/bitcoin/bitcoin/actions/runs/19041534107?pr=33772
2. ci: Rewrite Bash to check inputs to Python

   This is shorter and easier to read. Also, according to the dev notes,
   Bash should not be used.

   fa78d08eb8
3. ci: Rewrite lint task Bash snippet to Python

   The Bash snippet was shorter, but relying on implicit word splitting
   (see the shellcheck SC2086 warning). Also, the Bash is harder to modify
   in the future, if more features are added. Finally, the dev notes do not
   recommend Bash.

   fac300cfc3
4. DrahtBot added the label Tests on Nov 4, 2025
5. 
   DrahtBot commented at 1:30 pm on November 4, 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/33776.

   Reviews

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

6. ci: Retry lint image building once after failure

   The same was done for the other CI tasks in commit fa6aa9f42fa. This may
   guard against intermittent network issues to download the base image or
   packages ...

   fa296feb1f
7. ci: Annotate all check runs with the pull request number

   On check re-runs the annotations are discarded, so all check runs
   require the number to be set.

   fa995c2b01
8. maflcko force-pushed on Nov 4, 2025
9. DrahtBot added the label CI failed on Nov 4, 2025
10. 
    fanquake commented at 1:57 pm on November 4, 2025: member

    cc @willcl-ark @m3dwards
11. DrahtBot removed the label CI failed on Nov 4, 2025

Contributors
maflcko DrahtBot fanquake

Labels
Tests