#1064
93%

Ran 22 Feb 2023 06:53PM UTC

Jobs 1

Files 78

Run time 4s

Badge

Embed ▾

pending completion

Build # #1064

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Add JSpecify checking for return statements (#734)

For JSpecify, this pull request adds a check that the type parameter nullability of the return type of the method matches the type of any returned expression.  For example:
```
static A<@Nullable String> test() {
  return new A<String>();
}
```
For the method return type, the type parameter is `@Nullable String`, but the type of the type parameter of the returned expression is `@NonNull String`. NullAway will now report an error here.

Run Details

5428 of 5827 relevant lines covered (93.15%)

0.93 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1064.1	22 Feb 2023 06:53PM UTC	0	93.15

Source Files on build #1064

Detailed source file information is not available for this build.

uber / NullAway / #1064
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1064

uber / NullAway / #1064 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1064

uber / NullAway / #1064
93%

README BADGES
x