1
66%
main: 78%

Ran 27 Oct 2023 02:57PM UTC

Files 147

Run time 7s

Badge

Committed 27 Oct 2023 02:52PM UTC coverage: 69.11%. First build

Build Type

push

github

Committed by

Commit Message

docs: explain width of constraint relaxation window

Signed-off-by: F.N. Claessen <felix@seita.nl>

Run Details

3061 of 4639 branches covered (0.0%)

Branch coverage included in aggregate %.

6443 of 9113 relevant lines covered (70.7%)

0.71 hits per line