Run JSpecify conformance tests with the Nullness Checker (typetools#709)

azure-pipelines.yml

@@ -89,6 +89,7 @@ jobs:
    - plume_lib_jdk21
    # - plume_lib_jdk_latest
    # Not plume_lib_jdk_next
+   - jspecify_conformance_jdk21
   pool:
     vmImage: 'ubuntu-latest'
   steps:
@@ -803,6 +804,18 @@ jobs:
     continueOnError: true
     displayName: test-plume-lib.sh
 
+- job: jspecify_conformance_jdk21
+  dependsOn:
+   - junit_jdk21
+  pool:
+    vmImage: 'ubuntu-latest'
+  container: wmdietl/cf-ubuntu-jdk21:latest
+  steps:
+  - checkout: self
+    fetchDepth: 25
+  - bash: ./checker/bin-devel/test-jspecify-conformance.sh
+    displayName: test-jspecify-conformance.sh
+
 ## The downstream jobs are not currently needed because test-downstream.sh is empty.
 # - job: downstream_jdk8
 #   dependsOn:

checker/bin-devel/test-jspecify-conformance.sh

@@ -0,0 +1,17 @@
+#!/bin/bash
+
+set -e
+set -o verbose
+set -o xtrace
+export SHELLOPTS
+echo "SHELLOPTS=${SHELLOPTS}"
+
+SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
+# shellcheck disable=SC1090 # In newer shellcheck than 0.6.0, pass: "-P SCRIPTDIR" (literally)
+export ORG_GRADLE_PROJECT_useJdk17Compiler=true
+source "$SCRIPTDIR"/clone-related.sh
+
+PLUME_SCRIPTS="$SCRIPTDIR/.plume-scripts"
+"$PLUME_SCRIPTS/git-clone-related" eisop jspecify-conformance
+cd ../jspecify-conformance
+./gradlew test --console=plain -PcfLocal

docs/manual/contributors.tex

@@ -114,6 +114,7 @@
 Ren\'e Just,
 Ren\'e Kraneis,
 Rob Bygrave,
+Rohan Shetty,
 Ruturaj Mohanty,
 Ryan Oblak,
 Sadaf Tajik,