#728
93%

Ran 24 Jan 2022 06:36PM UTC

Jobs 1

Files 55

Run time 12min

Badge

Embed ▾

pending completion

Build # #728

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Reason about key set iteration for subtypes of Map (#559)

Fixes #558 

Most of the changes here are to thread around a `VisitorState` instead of a `Types` object, which allows us to use recommended Error Prone APIs to get a reference to a `Type` object and do subtype tests.

Run Details

4198 of 4693 relevant lines covered (89.45%)

0.89 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#728.1	24 Jan 2022 06:36PM UTC	0	89.45

Source Files on build #728

Detailed source file information is not available for this build.

uber / NullAway / #728
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #728

uber / NullAway / #728 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #728

uber / NullAway / #728
93%

README BADGES
x