34
97%
main: 97%

Ran 22 Jul 2021 06:03AM UTC

Files 6

Run time 1s

Badge

Committed 22 Jul 2021 05:53AM UTC coverage: 92.294% (+0.03%) from 92.267%

Build Type

push

github

Committed by GitHub

Commit Message

Warn when re-using a designator inside at-circ (#58)

Coverage Stats

1042 of 1129 relevant lines covered (92.29%)

956931.57 hits per line