1
100%
master: 100%

Ran 25 Sep 2025 04:23PM UTC

Files 1254

Run time 57s

Badge

Committed 25 Sep 2025 04:07PM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

If extension functions are undefined, always push them down

Coverage Stats

4826 of 4826 branches covered (100.0%)

Branch coverage included in aggregate %.

21860 of 21860 relevant lines covered (100.0%)

387.69 hits per line