`CI PR #2:` Fix GitHub CI and add checks to compensate for code coverage#144

Open

bernhardkaindl wants to merge 3 commits intomasterfrom fix-github-ci-drop-old-versions-add-coverage

+30-10

Commits on Nov 15, 2024