Lukas Dürrenberger 4d09b8fd61 Revert "Stop uploading code coverage from non-pull request CI runs" ... This reverts commit 46a1b568a9 as it seems to cause wrong reporting on pull request coverage info, likely due to missing baselines from the master branch "push".		2024-11-19 18:42:33 -07:00
..
ci.yml	Revert "Stop uploading code coverage from non-pull request CI runs"	2024-11-19 18:42:33 -07:00