1
93%
main: 93%

Ran 18 Dec 2023 05:22PM UTC

Files 34

Run time 18s

Badge

Committed 18 Dec 2023 05:21PM UTC coverage: 94.502% (+0.06%) from 94.438%

Build Type

push

github

Committed by

Commit Message

Merge pull request #11 from Jacopo47/feature/option-filter

Implemented method Filter for Optional data type

Run Details

268 of 284 branches covered (0.0%)

Branch coverage included in aggregate %.

557 of 589 relevant lines covered (94.57%)

11.29 hits per line