Skip to content

ci: Fix Coveralls Bot from spamming coverage info#1205

Merged
maxreichmann merged 5 commits intomainfrom
ci/fix-coveralls-pr-summary
Nov 24, 2025
Merged

ci: Fix Coveralls Bot from spamming coverage info#1205
maxreichmann merged 5 commits intomainfrom
ci/fix-coveralls-pr-summary