1
94%
main: 94%

Ran 02 Feb 2023 01:54PM UTC

Files 10

Run time 0s

Badge

Committed 02 Feb 2023 01:54PM UTC coverage: 96.068% (+0.3%) from 95.779%

Build Type

push

github

Committed by doorgan

Commit Message

Remove the concept of an ended zipper from Zipper (#68)

Run Details

562 of 585 relevant lines covered (96.07%)

172.02 hits per line