#591
93%

Ran 07 Dec 2021 06:27PM UTC

Jobs 1

Files 43

Run time 80min

Badge

Embed ▾

pending completion

Build # #591

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Bump to Checker dataflow 3.20.0 (#510)

The key new feature here is that the dataflow library no longer crashes on switch expressions / arrow case labels in switch statements:

https://github.com/typetools/checker-framework/blob/checker-framework-3.20.0/docs/CHANGELOG.md#version-3200-december-6-2021

This is an initial step toward fixing #289, though we will need precise control-flow graphs (which is still a WIP in Checker dataflow) to really handle these constructs properly.

Run Details

3602 of 4029 relevant lines covered (89.4%)

0.89 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#591.1	07 Dec 2021 06:27PM UTC	0	89.4

Source Files on build #591

Detailed source file information is not available for this build.

uber / NullAway / #591
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #591

uber / NullAway / #591 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #591

uber / NullAway / #591
93%

README BADGES
x