ci: gha: Set debug_pull_request_number_str annotation #33754

pull maflcko wants to merge 1 commits into bitcoin:master from maflcko:2510-ci-debug-pr changing 1 files +8 −0
  1. maflcko commented at 11:12 am on October 31, 2025: member

    GitHub Actions does not offer any way to determine the pull request number in a machine readable way from the checks API. See #27178 (comment).

    However, the pull request number can be useful for external tools to act on CI results.

    Fix that by using a check run annotation for a single task named debug_pull_request_number_str.

    This should re-enable the ‘CI Failed’ labelling mechanism via https://github.com/maflcko/DrahtBot/commit/1f24cc1ab9be8ad35fbb3a44aaa073bf669a7685.

  2. ci: gha: Set debug_pull_request_number_str annotation fa9d0f994b
  3. DrahtBot renamed this:
    ci: gha: Set debug_pull_request_number_str annotation
    ci: gha: Set debug_pull_request_number_str annotation
    on Oct 31, 2025
  4. DrahtBot added the label Tests on Oct 31, 2025
  5. DrahtBot commented at 11:12 am on October 31, 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/33754.

    Reviews

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

  6. maflcko force-pushed on Oct 31, 2025
  7. DrahtBot added the label CI failed on Oct 31, 2025
  8. maflcko commented at 11:51 am on October 31, 2025: member
    (looks like it worked)
  9. maflcko force-pushed on Oct 31, 2025
  10. DrahtBot removed the label CI failed on Oct 31, 2025
  11. maflcko requested review from willcl-ark on Oct 31, 2025
  12. maflcko requested review from m3dwards on Oct 31, 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-02 18:12 UTC

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