Skip to content

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

Merged
bernhardkaindl merged 2 commits into
masterfrom
fix-github-ci-drop-old-versions-add-coverage
Aug 15, 2025
Merged

CI PR #2: Fix GitHub CI and add checks to compensate for code coverage#144
bernhardkaindl merged 2 commits into
masterfrom
fix-github-ci-drop-old-versions-add-coverage

Cover the code handing a 2nd call of accessor.finish()

c30a358
Select commit
Loading
Failed to load commit list.