1
29%
master: 29%

Ran 15 Oct 2024 08:41AM UTC

Files 82

Run time 1s

Badge

Committed 15 Oct 2024 08:37AM UTC coverage: 25.225% (+0.1%) from 25.085%

Build Type

push

github

Committed by

Commit Message

Merge pull request #208 from SPF-OST/number-eqs-automatically

Warn if declared number of equations (and constants, etc.) doesn't ma…

Run Details

3445 of 13657 relevant lines covered (25.23%)

0.25 hits per line