6 Commits

Author	SHA1	Message	Date
Jonas Platte	fa3db13cec	ci: Update coverage workflows to use the right file	2024-05-30 20:22:47 +02:00
Jonas Platte	eff57ad483	ci: Use one artifact for all coverage files ... Instead of three separate artifacts.	2024-05-30 20:22:47 +02:00
Jonas Platte	8c5d60e539	ci: Normalize indentation in upload_coverage.yml	2024-05-30 20:22:47 +02:00
Jonas Platte	63d4b758f8	ci: Only run upload_coverage if coverage workflow succeeded	2024-05-30 20:22:47 +02:00
Jonas Platte	7876c37715	Fix trigger condition for new upload_coverage workflow	2024-05-30 15:25:41 +02:00
Jonas Platte	40dc706270	Split codecov uploads into a separate workflow ... … which runs in the context of the main repo even for PRs, and can be retried individually without rerunning coverage collection.	2024-05-30 13:53:49 +02:00