rust-bitcoin / rust-bitcoin / 8460182102 / 1

83%

master: 83%

push

github

Merge rust-bitcoin/rust-bitcoin#2637: CI: Fix Manage PR job

<a class=hub.com/rust-bitcoin/rust-bitcoin/commit/35687c84fc5b71435307b74190a0a2ad0abf162f">35687c84f CI: Fix Manage PR job (Tobin C. Harding)

Pull request description:

  In #2635 we broke the Manage PR CI job but for some reason CI didn't run on that PR so we merged the breakage.

  Fix the script by setting default variables when they are not set. Done with ChatGPT.

ACKs for top commit:
  apoelstra:
    ACK 35687c84fc5b71435307b74190a0a2ad0abf162f

Tree-SHA512: 707ad8872aa28d6c459df43febb316240d1

19066 of 22909 relevant lines covered (83.22%)

16845.73 hits per line