gbin merged copper-project/copper-rs#1058 · April 27, 2026 16:17 remove redundant workflow #1058 SummaryRelated issuesCloses #ChangesReminder I ran just from the repo root I have updated docs or examples where neededAdditional context +15 -61