chore/deepsource coverage#9

Open

tiborpilz wants to merge 8 commits intomainfrom

chore/deepsource-coverage

Commits on Dec 28, 2022

ci: add deepsource coverage reporting

tiborpilz
authored and
Tibor Pilz
committed
chore: add pytest-cov

tiborpilz
authored and
Tibor Pilz
committed
ci: add coverage output

tiborpilz
authored and
Tibor Pilz
committed
ci: use pr sha for checkout

tiborpilz
authored and
Tibor Pilz
committed
ci: create test coverage badge

tiborpilz
authored and
Tibor Pilz
committed
ci: fix badge creation

tiborpilz
authored and
Tibor Pilz
committed
ci: deploy coverage to gh pages

tiborpilz
authored and
Tibor Pilz
committed
ci: alternative pages action

tiborpilz
authored and
Tibor Pilz
committed