1
93%
master: 93%

Ran 14 Mar 2022 05:38PM UTC

Files 73

Run time 16s

Badge

Embed ▾

Committed 14 Mar 2022 05:36PM UTC coverage: 92.608% (+0.03%) from 92.575%

Job # #803.1

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Update to Checker Framework 3.21.3 (#564)

Changes relevant to us:
* https://github.com/typetools/checker-framework/pull/5000 lets us simplify our flow function for ternary expressions
* Nullability updates that will simplify running NullAway on NullAway: https://github.com/typetools/checker-framework/pull/5017, https://github.com/typetools/checker-framework/pull/5018, https://github.com/typetools/checker-framework/pull/5029
* Optimization in https://github.com/typetools/checker-framework/pull/5056

Run Details

4761 of 5141 relevant lines covered (92.61%)

0.93 hits per line

uber / NullAway / #803 / 1
93%
master: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #803.1

uber / NullAway / #803 / 1 93% master: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #803.1

uber / NullAway / #803 / 1
93%
master: 93%

README BADGES
x