bitcoinmerges on Nostr: [bitcoin] Merged PR from hebasto: build: Fix / improve coverage scripts ... [bitcoin] Merged PR from hebasto: build: Fix / improve coverage scripts https://github.com/bitcoin/bitcoin/pull/30772