Speed up CI to complete within 15min (down from 25min) by switching off coverage except for the matrix entry that's uploaded#1861
Open
corneliusroemer wants to merge 13 commits intomasterfrom
Open
Speed up CI to complete within 15min (down from 25min) by switching off coverage except for the matrix entry that's uploaded#1861corneliusroemer wants to merge 13 commits intomasterfrom
corneliusroemer wants to merge 13 commits intomasterfrom
Commits
Commits on Jul 20, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
