Re-enable coveralls code coverage by adding coveralls action to github actions workflow#581
Closed
jwlodek wants to merge 11 commits into
Closed
Re-enable coveralls code coverage by adding coveralls action to github actions workflow#581jwlodek wants to merge 11 commits into
jwlodek wants to merge 11 commits into
Commits
Commits on Apr 27, 2026
- committed
- committed
Update CI to cancel in-progress jobs on subsequent pushes, simplify lcov extraction of coverage info
committed- committed
- committed
- committed
- committed
- committed
