5680656794
95%

Ran 27 Jul 2023 12:43PM UTC

Jobs 7

Files 13

Run time 1s

Badge

Build Type

push

github

Committed by

Commit Message

Fixed `@typechecked` failing to instrument functions with duplicate names in the same module

Fixes #355.

Run Details

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

1884 of 1933 relevant lines covered (97.47%)

5.93 hits per line

ID	Job ID	Ran	Coverage
1	5680656794.1	27 Jul 2023 12:43PM UTC	95.68	GitHub Action Run
2	5680656794.2	27 Jul 2023 12:44PM UTC	96.17	GitHub Action Run
3	5680656794.3	27 Jul 2023 12:43PM UTC	95.76	GitHub Action Run
4	5680656794.4	27 Jul 2023 12:43PM UTC	96.42	GitHub Action Run
5	5680656794.5	27 Jul 2023 12:44PM UTC	96.76	GitHub Action Run
6	5680656794.6	27 Jul 2023 12:43PM UTC	96.3	GitHub Action Run
7	5680656794.7	27 Jul 2023 12:43PM UTC	95.77	GitHub Action Run

Detailed source file information is not available for this build.