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