5432328813
79%

Ran 01 Jul 2023 05:51PM UTC

Jobs 1

Files 12

Run time 1s

Badge

Committed 01 Jul 2023 05:50PM UTC coverage: 80.459% (+0.2%) from 80.272%

Build Type

push

github

Committed by

Commit Message

Fix method-name collisions (#17)

* Fix a bug that caused method names to collide with other top-level identifiers.

* A little more bulletproofing.

Run Details

15 of 15 new or added lines in 2 files covered. (100.0%)

1017 of 1264 relevant lines covered (80.46%)

0.96 hits per line

ID	Job ID	Ran	Files	Coverage
1	5432328813.1	01 Jul 2023 05:51PM UTC	12	80.46	GitHub Action Run