Merge branch 'master' of https://github.com/typetools/checker-framework…

… into two-socket-container-mca

azure-pipelines.yml

@@ -12,7 +12,7 @@ jobs:
 
 # The dependsOn clauses are:
 #  * Everything depends on the canary jobs (the 4 main jdk17 jobs), except those jobs themselves.
-#  * Anything *_jdk8, *_jdk11, or *_jdk18 depends on *_jdk17.
+#  * Anything *_jdk8, *_jdk11, or *_jdk19 depends on *_jdk17.
 
 - job: canary_jobs
   dependsOn:
@@ -61,12 +61,12 @@ jobs:
     fetchDepth: 25
   - bash: ./checker/bin-devel/test-cftests-junit.sh
     displayName: test-cftests-junit.sh
-- job: junit_tests_jdk18
+- job: junit_tests_jdk19
   dependsOn:
    - canary_jobs
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18:latest
+  container: mdernst/cf-ubuntu-jdk19:latest
   timeoutInMinutes: 70
   steps:
   - checkout: self
@@ -106,12 +106,12 @@ jobs:
     fetchDepth: 25
   - bash: ./checker/bin-devel/test-cftests-nonjunit.sh
     displayName: test-cftests-nonjunit.sh
-- job: nonjunit_tests_jdk18
+- job: nonjunit_tests_jdk19
   dependsOn:
    - canary_jobs
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18:latest
+  container: mdernst/cf-ubuntu-jdk19:latest
   steps:
   - checkout: self
     fetchDepth: 25
@@ -143,7 +143,9 @@ jobs:
     displayName: test-cftests-inference.sh
 - job: inference_tests_jdk17
   dependsOn:
-   - canary_jobs
+## Improve parallelism by depending only on typecheck, not canary, jobs
+#   - canary_jobs
+   - typecheck_jdk17
   pool:
     vmImage: 'ubuntu-latest'
   container: mdernst/cf-ubuntu-jdk17:latest
@@ -152,13 +154,13 @@ jobs:
     fetchDepth: 25
   - bash: ./checker/bin-devel/test-cftests-inference.sh
     displayName: test-cftests-inference.sh
-- job: inference_tests_jdk18
+- job: inference_tests_jdk19
   dependsOn:
    - canary_jobs
    - inference_tests_jdk17
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18:latest
+  container: mdernst/cf-ubuntu-jdk19:latest
   steps:
   - checkout: self
     fetchDepth: 25
@@ -195,12 +197,12 @@ jobs:
   - checkout: self
   - bash: ./checker/bin-devel/test-misc.sh
     displayName: test-misc.sh
-- job: misc_jdk18
+- job: misc_jdk19
   dependsOn:
    - canary_jobs
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18-plus:latest
+  container: mdernst/cf-ubuntu-jdk19-plus:latest
   steps:
   - checkout: self
   - bash: ./checker/bin-devel/test-misc.sh
@@ -238,12 +240,12 @@ jobs:
     fetchDepth: 1000
   - bash: ./checker/bin-devel/test-typecheck.sh
     displayName: test-typecheck.sh
-- job: typecheck_jdk18
+- job: typecheck_jdk19
   dependsOn:
    - canary_jobs
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18-plus:latest
+  container: mdernst/cf-ubuntu-jdk19-plus:latest
   steps:
   - checkout: self
     fetchDepth: 1000
@@ -287,14 +289,14 @@ jobs:
     fetchDepth: 25
   - bash: ./checker/bin-devel/test-daikon.sh
     displayName: test-daikon.sh
-- job: daikon_jdk18
+- job: daikon_jdk19
   dependsOn:
    - canary_jobs
    # Could comment out the "daikon_jdk17" dependency to reduce latency.
    - daikon_jdk17
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18:latest
+  container: mdernst/cf-ubuntu-jdk19:latest
   timeoutInMinutes: 70
   steps:
   - checkout: self
@@ -336,14 +338,14 @@ jobs:
     fetchDepth: 25
   - bash: ./checker/bin-devel/test-guava.sh
     displayName: test-guava.sh
-- job: guava_jdk18
+- job: guava_jdk19
   condition: false
   dependsOn:
    - canary_jobs
    - guava_jdk17
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18:latest
+  container: mdernst/cf-ubuntu-jdk19:latest
   steps:
   - checkout: self
     fetchDepth: 25
@@ -384,13 +386,13 @@ jobs:
     fetchDepth: 25
   - bash: ./checker/bin-devel/test-plume-lib.sh
     displayName: test-plume-lib.sh
-- job: plume_lib_jdk18
+- job: plume_lib_jdk19
   dependsOn:
    - canary_jobs
    - plume_lib_jdk17
   pool:
     vmImage: 'ubuntu-latest'
-  container: mdernst/cf-ubuntu-jdk18:latest
+  container: mdernst/cf-ubuntu-jdk19:latest
   steps:
   - checkout: self
     fetchDepth: 25
@@ -432,13 +434,13 @@ jobs:
 #     fetchDepth: 25
 #   - bash: ./checker/bin-devel/test-downstream.sh
 #     displayName: test-downstream.sh
-# - job: downstream_jdk18
+# - job: downstream_jdk19
 #   dependsOn:
 #    - canary_jobs
 #    - downstream_jdk17
 #   pool:
 #     vmImage: 'ubuntu-latest'
-#   container: mdernst/cf-ubuntu-jdk18:latest
+#   container: mdernst/cf-ubuntu-jdk19:latest
 #   steps:
 #   - checkout: self
 #     fetchDepth: 25