bitcoinmerges on Nostr: [bitcoin] Merged PR from hebasto: ci: Delete no longer needed workaround [bitcoin] Merged PR from hebasto: ci: Delete no longer needed workaround https://github.com/bitcoin/bitcoin/pull/30777