1
93%
master: 93%

Ran 09 Jun 2021 07:37PM UTC

Files 42

Run time 6s

Badge

Embed ▾

Committed 09 Jun 2021 07:33PM UTC coverage: 89.161% (-0.01%) from 89.171%

Job # #545.1

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #545.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #545.1

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

README BADGES
x