#803
93%

Ran 14 Mar 2022 05:38PM UTC

Jobs 1

Files 73

Run time 18s

Badge

Embed ▾

pending completion

Build # #803

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#803.1	14 Mar 2022 05:38PM UTC	0	92.61

Source Files on build #803

Detailed source file information is not available for this build.

uber / NullAway / #803
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #803

uber / NullAway / #803 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #803

uber / NullAway / #803
93%

README BADGES
x