Skip to content

check+sources: raise test coverage from 62% to 82% with ~1,140 new tests, 2 bug fixes and dead-code annotations - #917

Open
rakab wants to merge 74 commits into
form-dev:masterfrom
rakab:feat/coverage-tests
Open

rakab wants to merge 74 commits into
form-dev:masterfrom
rakab:feat/coverage-tests

check: guard coverage tests for ParFORM and FLINT-less builds

748a002
Select commit
Loading
Failed to load commit list.
Sign in for the full log view