5124671666
97%
master: 96%

Ran 30 May 2023 05:51PM UTC

Jobs 1

Files 242

Run time 39s

Badge

Committed 30 May 2023 05:51PM UTC coverage: 96.513% (+0.002%) from 96.511%

Build Type

push

github

Committed by

Commit Message

Print the type names in unrelated_type_equality_checks (#4380)

Run Details

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

8802 of 9120 relevant lines covered (96.51%)

1.48 hits per line

ID	Job ID	Ran	Files	Coverage
1	5124671666.1	30 May 2023 05:51PM UTC	242	96.51	GitHub Action Run