12856753839
95%

Ran 19 Jan 2025 08:06PM UTC

Jobs 1

Files 13

Run time 1min

Badge

Committed 19 Jan 2025 08:01PM UTC coverage: 94.507% (-0.004%) from 94.511%

Build Type

push

github

Committed by

Commit Message

Fixed TypeCheckError in unpacking assignment involving properties

Fixes #506.

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

1583 of 1675 relevant lines covered (94.51%)

5.56 hits per line

ID	Job ID	Ran	Files	Coverage
1	12856753839.1	19 Jan 2025 08:06PM UTC	13	94.51	GitHub Action Run