CI PR #2: Fix GitHub CI and add checks to compensate for code coverage - #144
Merged
bernhardkaindl merged 2 commits intoAug 15, 2025
Merged
Loading
CI PR #2: Fix GitHub CI and add checks to compensate for code coverage - #144