ci: Lint follow-ups #33776

pull maflcko wants to merge 4 commits into bitcoin:master from maflcko:2511-ci-lint-stuff changing 2 files +57 −18
  1. maflcko commented at 1:30 pm on November 4, 2025: member

    This contains a few follow-ups to #33744:

  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. DrahtBot added the label Tests on Nov 4, 2025
  4. 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.

  5. maflcko force-pushed on Nov 4, 2025
  6. DrahtBot added the label CI failed on Nov 4, 2025
  7. fanquake commented at 1:57 pm on November 4, 2025: member
  8. DrahtBot removed the label CI failed on Nov 4, 2025
  9. ci: Rewrite lint task Bash snippet to Python
    The Bash snippet was shorter, but relying on implicit word splitting
    (see the shellcheck SC2086 warning).
    
    For example, the DOCKER_BUILD_CACHE_ARG shlex.split is now done
    identical to how ci/test/02_run_container.py does it.
    
    Moreover, the Python will hopefully be easier to modify in the future,
    as the dev notes recommend Python over Bash.
    faec6063cd
  10. 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 ...
    faac15a872
  11. 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.
    fa56677469
  12. maflcko force-pushed on Nov 7, 2025

github-metadata-mirror

This is a metadata mirror of the GitHub repository bitcoin/bitcoin. This site is not affiliated with GitHub. Content is generated from a GitHub metadata backup.
generated: 2025-11-09 18:13 UTC

This site is hosted by @0xB10C
More mirrored repositories can be found on mirror.b10c.me