uber / NullAway / #1173

Builds Branch Commit Type Ran Committer Via Coverage
#1173 master Allow library models to define custom stream classes. (#807) This is needed to support both fully custom stream libraries, as well as backports/shadowed versions of existing stream libraries. push web-flow github-actions
93.13
#1172 lazaro_stream_handler_with_method_refs Merge 1b4c6fefa into 7cf3e3bdf Pull #807 web-flow github-actions
93.12
#1171 manu/tweak-cast-suppressions Merge 9a4ac1a06 into 7cf3e3bdf Pull #799 web-flow github-actions
93.15
#1170 master Modify JMH Benchmark Workflow For Shellcheck (#813) Enable shellcheck checking as part of our build, and fix Shellcheck errors for JMH workflow files. --------- Co-authored-by: Manu Sridharan <msridhar@gmail.com> push web-flow github-actions
93.15
#1169 manu/tweak-cast-suppressions Merge dd851b2a0 into 540eaa93d Pull #799 web-flow github-actions
93.11
#1168 master Make GenericsChecks methods static (#805) Previously, some methods in `GenericsChecks` were static methods and some were instance methods. We did not get much of any benefit from the instance methods, as it would be painful to create a single ... push web-flow github-actions
93.15
#1167 lazaro_stream_handler_with_method_refs Merge 364adc6e8 into 9a427678f Pull #807 web-flow github-actions
93.14
#1166 lazaro_stream_handler_with_method_refs Merge dfb9279ef into 9a427678f Pull #807 web-flow github-actions pending completion   set done
#1165 master Bump Error Prone Gradle Plugin version (#804) Just to stay up to date. push web-flow github-actions pending completion   set done
#1164 master Enable contract checking when building NullAway (#802) I think we only have one `@Contract` annotation in the NullAway code base right now, but anyway this will give us a bit more test coverage of contract checking. push web-flow github-actions pending completion   set done
#1163 manu/tweak-cast-suppressions Merge 24e4582c8 into 01ee4d766 Pull #799 web-flow github-actions pending completion   set done
#1162 master Generics checks for method overriding (#755) This PR implements JSpecify-related generics checks for method overriding, including: * checks that overrides of generic methods respect subtyping of nullability qualifiers * proper handling of c... push web-flow github-actions pending completion   set done
#1161 master Update to Error Prone 2.21.1 (#797) Mostly straightforward. Error Prone has a new [NullableOptional](https://errorprone.info/bugpattern/NullableOptional) check that warned on a couple instances in our code base. I changed these cases to use an... push web-flow github-actions pending completion   set done
#1160 master Update to WALA 1.6.2 (#798) We use a [new WALA feature](https://github.com/wala/WALA/pull/1286) to only include the `java.base` module in the `AnalysisScope` used for JarInfer. JarInfer does not require all JDK standard library modules to be p... push web-flow github-actions pending completion   set done
#1159 master Bump versions for some dependencies (#800) To keep up to date and avoid surprises later. push web-flow github-actions pending completion   set done