5859873284
97%
master: 96%

Ran 14 Aug 2023 07:36PM UTC

Jobs 1

Files 242

Run time 5s

Badge

Committed 14 Aug 2023 07:34PM UTC coverage: 96.551% (+0.001%) from 96.55%

Build Type

push

github

Committed by

Commit Message

extension type support for `non_constant_identifier_names` (#4696)

Run Details

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

9126 of 9452 relevant lines covered (96.55%)

1.48 hits per line

ID	Job ID	Ran	Files	Coverage
1	5859873284.1	14 Aug 2023 07:36PM UTC	242	96.55	GitHub Action Run