#545
93%

Ran 09 Jun 2021 07:37PM UTC

Jobs 1

Files 42

Run time 8s

Badge

Embed ▾

pending completion

Build # #545

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Update to Checker Framework 3.14.0, and use shaded dataflow artifact that is specific to NullAway (#485)

Currently, NullAway uses the "dataflow" Maven artifact:
https://mvnrepository.com/artifact/org.checkerframework/dataflow

NullAway conflicts with other tools that also use the `dataflow` artifact.  Therefore, the Checker Framework team has created a new shaded dataflow artifact just for NullAway to use:
https://mvnrepository.com/artifact/org.checkerframework/dataflow-nullaway

This pull request updates NullAway to use that artifact.

Also updates NullAway for API changes in the latest Checker Framework version; see https://github.com/uber/NullAway/pull/468 for further discussion.

Fixes #462 

Co-authored-by: Manu Sridharan <msridhar@gmail.com>

Run Details

3496 of 3921 relevant lines covered (89.16%)

0.89 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#545.1	09 Jun 2021 07:37PM UTC	0	89.16

Source Files on build #545

Detailed source file information is not available for this build.

uber / NullAway / #545
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #545

uber / NullAway / #545 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #545

uber / NullAway / #545
93%

README BADGES
x