1
87%
master: 86%

Ran 27 Mar 2024 07:03PM UTC

Files 1

Run time 0s

Badge

Committed 27 Mar 2024 06:32PM UTC coverage: 86.157% (+0.004%) from 86.153%

Build Type

push

github

Committed by

Commit Message

fix `once` procedure and make (type #void) == "void"

Coverage Stats

2646 of 3047 branches covered (86.84%)

Branch coverage included in aggregate %.

10356 of 12044 relevant lines covered (85.98%)

1155869.06 hits per line