chore: remove redundant words in comment #32037

pull kevincatty wants to merge 1 commits into bitcoin:master from kevincatty:master changing 4 files +4 −4
  1. kevincatty commented at 7:31 am on March 12, 2025: none
    remove redundant words in comment
  2. chore: remove redundant words in comment
    Signed-off-by: kevincatty <zhanshanmao@outlook.com>
    3b198ff068
  3. DrahtBot commented at 7:31 am on March 12, 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/32037.

    Reviews

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

  4. DrahtBot commented at 7:36 am on March 12, 2025: contributor

    🚧 At least one of the CI tasks failed. Debug: https://github.com/bitcoin/bitcoin/runs/38616721845

    Try to run the tests locally, according to the documentation. However, a CI failure may still happen due to a number of reasons, for example:

    • Possibly due to a silent merge conflict (the changes in this pull request being incompatible with the current code in the target branch). If so, make sure to rebase on the latest commit of the target branch.

    • A sanitizer issue, which can only be found by compiling with the sanitizer and running the affected test.

    • An intermittent issue.

    Leave a comment here, if you need help tracking down a confusing failure.

  5. DrahtBot added the label CI failed on Mar 12, 2025
  6. fanquake closed this on Mar 12, 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-03-31 09:12 UTC

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