fix: combined coverage report#238

Draft

rudaporto wants to merge 6 commits intomasterfrom

fix-tox-config-file-coverage-report

Commits on Oct 15, 2022

Commits on Oct 17, 2022

coverage: add new job to run after build
rudaporto
committed

Commits on Oct 26, 2022

Merge branch 'master' into fix-tox-config-file-coverage-report
Michael Howitz
authored

Commits on Oct 27, 2022

Merge branch 'master' into fix-tox-config-file-coverage-report
Michael Howitz
authored