8
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.126% (+0.005%) from 97.121%

Build Type

push

github

Committed by

Commit Message

Merge pull request #875 from niccokunzmann/issue-864

Add example() to Available and Availability

Run Details

548 of 568 branches covered (96.48%)

Branch coverage included in aggregate %.

6617 of 6809 relevant lines covered (97.18%)

0.97 hits per line