Lukas Dürrenberger 4d09b8fd61 Revert "Stop uploading code coverage from non-pull request CI runs"
This reverts commit 46a1b568a981d7854f498b417a2ab6a0e3f1ae3e 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
..