5680753260
95%

Ran 27 Jul 2023 12:52PM 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%)

1883 of 1932 relevant lines covered (97.46%)

5.93 hits per line

ID	Job ID	Ran	Coverage
1	5680753260.1	27 Jul 2023 12:52PM UTC	96.41	GitHub Action Run
2	5680753260.2	27 Jul 2023 12:53PM UTC	96.75	GitHub Action Run
3	5680753260.3	27 Jul 2023 12:52PM UTC	95.76	GitHub Action Run
4	5680753260.4	27 Jul 2023 12:52PM UTC	95.68	GitHub Action Run
5	5680753260.5	27 Jul 2023 12:52PM UTC	95.76	GitHub Action Run
6	5680753260.6	27 Jul 2023 12:52PM UTC	96.3	GitHub Action Run
7	5680753260.7	27 Jul 2023 12:54PM UTC	96.17	GitHub Action Run

Detailed source file information is not available for this build.