2
98%
main: 98%

Ran 13 Jul 2025 07:39AM UTC

Files 114

Run time 3s

Badge

Committed 09 Jul 2025 02:05PM UTC coverage: 97.132% (+0.005%) from 97.127%

Build Type

push

github

Committed by

Commit Message

Merge pull request #875 from niccokunzmann/issue-864

Add example() to Available and Availability

Run Details

464 of 479 branches covered (96.87%)

Branch coverage included in aggregate %.

6615 of 6809 relevant lines covered (97.15%)

0.97 hits per line