1
86%
main: 86%

Ran 24 Sep 2024 11:32AM UTC

Files 133

Run time 3s

Badge

Committed 24 Sep 2024 11:28AM UTC coverage: 86.448% (-0.2%) from 86.665%

Build Type

push

github

Committed by

Commit Message

#229 Add import and export for specifications (#232)

Run Details

1194 of 1439 branches covered (82.97%)

Branch coverage included in aggregate %.

8604 of 9895 relevant lines covered (86.95%)

45.46 hits per line