5
98%
main: 98%

Ran 09 Jul 2025 02:16PM UTC

Files 114

Run time 4s

Badge

Committed 09 Jul 2025 02:05PM UTC coverage: 94.713% (+0.009%) from 94.704%

Build Type

push

github

Committed by

Commit Message

Merge pull request #875 from niccokunzmann/issue-864

Add example() to Available and Availability

Run Details

520 of 568 branches covered (91.55%)

Branch coverage included in aggregate %.

6467 of 6809 relevant lines covered (94.98%)

0.95 hits per line