7
98%
main: 98%

Ran 09 Jul 2025 02:16PM UTC

Files 114

Run time 4s

Badge

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

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 %.

6621 of 6815 relevant lines covered (97.15%)

0.97 hits per line