1
99%
master: 99%

Ran 07 Mar 2022 04:00PM UTC

Files 240

Run time 8min

Badge

Committed 07 Mar 2022 04:00PM UTC coverage: 99.067% (-0.02%) from 99.089%

Build Type

push

github

Committed by Thomas Aulinger

Commit Message

rename T_DISABLE_OPTIONAL_HINTS to T_DISABLE_INITIAL_HINTS

Run Details

2557 of 2633 branches covered (97.11%)

Branch coverage included in aggregate %.

6471 of 6480 relevant lines covered (99.86%)

60.64 hits per line