gbin merged copper-project/copper-rs#1145 · June 25, 2026 19:15 narrow dependencies on docker images for specific jobs #1145 SummaryRelated issuesCloses #ChangesReminder I ran just from the repo root I have updated docs or examples where neededAdditional context +91 -37