Don't test under JDK 24

.azure/azure-pipelines.yml

@@ -19,8 +19,8 @@ variables:
 jobs:
 
 # The dependsOn clauses (in this file and in .circleci/config.yml) are:
-#  * Everything not *_ubuntu_jdk17 or typecheck_*_jdk17 depends on jdk17_jobs.
-#  * Anything *_jdk8 or *_jdk11 or *_jdk17 or _jdk24 or _jdk25 depends on *_jdk21.
+#  * Everything not *_ubuntu_jdk25 or typecheck_*_jdk25 depends on canary_jobs.
+#  * Anything *_jdk8 or *_jdk11 or *_jdk17 or *_jdk21 depends on *_jdk25.
 #  * Anything *_rockylinux_* depends on *_ubuntu_*.
 
 # The remainder of jobs are run only if the canary_jobs pass.
@@ -87,18 +87,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-quick-txt-diff.sh
     displayName: test-quick-txt-diff.sh
-- job: quick_ubuntu_jdk24
-  dependsOn:
-    - canary_jobs
-    - quick_ubuntu_jdk25
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-ubuntu-jdk24${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-quick-txt-diff.sh
-    displayName: test-quick-txt-diff.sh
 - job: quick_ubuntu_jdk25
   pool:
     vmImage: 'ubuntu-latest'
@@ -157,18 +145,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-nonquick-txt-diff.sh
     displayName: test-nonquick-txt-diff.sh
-- job: nonquick_ubuntu_jdk24
-  dependsOn:
-    - canary_jobs
-    - nonquick_ubuntu_jdk25
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-ubuntu-jdk24${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-nonquick-txt-diff.sh
-    displayName: test-nonquick-txt-diff.sh
 - job: nonquick_ubuntu_jdk25
   pool:
     vmImage: 'ubuntu-latest'
@@ -227,18 +203,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-non-txt-diff.sh
     displayName: test-non-txt-diff.sh
-- job: nontxt_ubuntu_jdk24
-  dependsOn:
-    - canary_jobs
-    - nontxt_ubuntu_jdk25
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-ubuntu-jdk24${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-non-txt-diff.sh
-    displayName: test-non-txt-diff.sh
 - job: nontxt_ubuntu_jdk25
   pool:
     vmImage: 'ubuntu-latest'
@@ -305,20 +269,6 @@ jobs:
     displayName: make showvars
   - bash: ./scripts/test-misc.sh
     displayName: test-misc.sh
-- job: misc_ubuntu_jdk24
-  dependsOn:
-    - canary_jobs
-    - misc_ubuntu_jdk25
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-ubuntu-jdk24-plus${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: make showvars
-    displayName: make showvars
-  - bash: ./scripts/test-misc.sh
-    displayName: test-misc.sh
 - job: misc_ubuntu_jdk25
   pool:
     vmImage: 'ubuntu-latest'
@@ -379,18 +329,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-kvasir.sh
     displayName: test-kvasir.sh
-- job: kvasir_ubuntu_jdk24
-  dependsOn:
-    - canary_jobs
-    - kvasir_ubuntu_jdk25
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-ubuntu-jdk24-plus${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-kvasir.sh
-    displayName: test-kvasir.sh
 - job: kvasir_ubuntu_jdk25
   pool:
     vmImage: 'ubuntu-latest'
@@ -471,40 +409,6 @@ jobs:
     displayName: show Java version
   - bash: ./scripts/test-typecheck-with-bundled-cf.sh
     displayName: test-typecheck-with-bundled-cf.sh
-- job: typecheck_latest_ubuntu_jdk24
-  dependsOn:
-    - canary_jobs
-    - typecheck_latest_ubuntu_jdk25
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-ubuntu-jdk24-plus${{ variables.testingSuffix }}:latest
-  timeoutInMinutes: 80
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: |
-      java -version
-      javac -version
-    displayName: show Java version
-  - bash: ./scripts/test-typecheck-with-latest-cf.sh
-    displayName: test-typecheck-with-latest-cf.sh
-- job: typecheck_bundled_ubuntu_jdk24
-  dependsOn:
-    - canary_jobs
-    - typecheck_bundled_ubuntu_jdk25
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-ubuntu-jdk24-plus${{ variables.testingSuffix }}:latest
-  timeoutInMinutes: 80
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: |
-      java -version
-      javac -version
-    displayName: show Java version
-  - bash: ./scripts/test-typecheck-with-bundled-cf.sh
-    displayName: test-typecheck-with-bundled-cf.sh
 - job: typecheck_latest_ubuntu_jdk25
   pool:
     vmImage: 'ubuntu-latest'
@@ -586,19 +490,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-quick-txt-diff.sh
     displayName: test-quick-txt-diff.sh
-- job: quick_rockylinux_jdk24
-  dependsOn:
-    - canary_jobs
-    - quick_rockylinux_jdk25
-    - quick_ubuntu_jdk24
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-rockylinux-jdk24${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-quick-txt-diff.sh
-    displayName: test-quick-txt-diff.sh
 - job: quick_rockylinux_jdk25
   dependsOn:
     - canary_jobs
@@ -664,19 +555,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-nonquick-txt-diff.sh
     displayName: test-nonquick-txt-diff.sh
-- job: nonquick_rockylinux_jdk24
-  dependsOn:
-    - canary_jobs
-    - nonquick_rockylinux_jdk25
-    - nonquick_ubuntu_jdk24
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-rockylinux-jdk24${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-nonquick-txt-diff.sh
-    displayName: test-nonquick-txt-diff.sh
 - job: nonquick_rockylinux_jdk25
   dependsOn:
     - canary_jobs
@@ -742,19 +620,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-non-txt-diff.sh
     displayName: test-non-txt-diff.sh
-- job: nontxt_rockylinux_jdk24
-  dependsOn:
-    - canary_jobs
-    - nontxt_rockylinux_jdk25
-    - nontxt_ubuntu_jdk24
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-rockylinux-jdk24${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-non-txt-diff.sh
-    displayName: test-non-txt-diff.sh
 - job: nontxt_rockylinux_jdk25
   dependsOn:
     - canary_jobs
@@ -828,21 +693,6 @@ jobs:
     displayName: make showvars
   - bash: ./scripts/test-misc.sh
     displayName: test-misc.sh
-- job: misc_rockylinux_jdk24
-  dependsOn:
-    - canary_jobs
-    - misc_rockylinux_jdk25
-    - misc_ubuntu_jdk24
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-rockylinux-jdk24-plus${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: make showvars
-    displayName: make showvars
-  - bash: ./scripts/test-misc.sh
-    displayName: test-misc.sh
 - job: misc_rockylinux_jdk25
   dependsOn:
     - canary_jobs
@@ -910,19 +760,6 @@ jobs:
     fetchDepth: 25
   - bash: ./scripts/test-kvasir.sh
     displayName: test-kvasir.sh
-- job: kvasir_rockylinux_jdk24
-  dependsOn:
-    - canary_jobs
-    - kvasir_rockylinux_jdk25
-    - kvasir_ubuntu_jdk24
-  pool:
-    vmImage: 'ubuntu-latest'
-  container: mdernst/daikon-rockylinux-jdk24-plus${{ variables.testingSuffix }}:latest
-  steps:
-  - checkout: self
-    fetchDepth: 25
-  - bash: ./scripts/test-kvasir.sh
-    displayName: test-kvasir.sh
 - job: kvasir_rockylinux_jdk25
   dependsOn:
     - canary_jobs

.azure/azure-pipelines.yml.m4

@@ -1,5 +1,6 @@
 changequote
 changequote(`[',`]')dnl
+changecom([], [disable comments, that is, expand within them])dnl
 include([defs.m4])dnl
 trigger:
   branches:
@@ -20,8 +21,8 @@ variables:
 jobs:
 
 # The dependsOn clauses (in this file and in .circleci/config.yml) are:
-#  * Everything not *_ubuntu_jdk17 or typecheck_*_jdk17 depends on jdk17_jobs.
-#  * Anything *_jdk8 or *_jdk11 or *_jdk17 or _jdk24 or _jdk25 depends on *_jdk21.
+#  * Everything not *_ubuntu_jdk[]canary_version or typecheck_*_jdk[]canary_version depends on canary_jobs.
+#  * Anything *_jdk8 or *_jdk11 or *_jdk17 or *_jdk21 depends on *_jdk25.
 #  * Anything *_rockylinux_* depends on *_ubuntu_*.
 
 # The remainder of jobs are run only if the canary_jobs pass.

.azure/defs.m4

@@ -1,5 +1,6 @@
 changequote
 changequote(`[',`]')dnl
+changecom([], [disable comments, that is, expand within them])dnl
 ifelse([the built-in "dnl" macro means "discard to next line",])dnl
 define([canary_os], [ubuntu])dnl
 define([canary_version], [25])dnl

.azure/jobs.m4

@@ -2,35 +2,30 @@ quick_job(ubuntu, 8)
 quick_job(ubuntu, 11)
 quick_job(ubuntu, 17)
 quick_job(ubuntu, 21)
-quick_job(ubuntu, 24)
 quick_job(ubuntu, 25)
 
 nonquick_job(ubuntu, 8)
 nonquick_job(ubuntu, 11)
 nonquick_job(ubuntu, 17)
 nonquick_job(ubuntu, 21)
-nonquick_job(ubuntu, 24)
 nonquick_job(ubuntu, 25)
 
 nontxt_job(ubuntu, 8)
 nontxt_job(ubuntu, 11)
 nontxt_job(ubuntu, 17)
 nontxt_job(ubuntu, 21)
-nontxt_job(ubuntu, 24)
 nontxt_job(ubuntu, 25)
 
 misc_job(ubuntu, 8)
 misc_job(ubuntu, 11)
 misc_job(ubuntu, 17)
 misc_job(ubuntu, 21)
-misc_job(ubuntu, 24)
 misc_job(ubuntu, 25)
 
 kvasir_job(ubuntu, 8)
 kvasir_job(ubuntu, 11)
 kvasir_job(ubuntu, 17)
 kvasir_job(ubuntu, 21)
-kvasir_job(ubuntu, 24)
 kvasir_job(ubuntu, 25)
 
 ## The Checker Framework cannot be built, or run, under Java 8 or 11.
@@ -39,42 +34,35 @@ typecheck_latest_job(ubuntu, 17)
 typecheck_bundled_job(ubuntu, 17)
 typecheck_latest_job(ubuntu, 21)
 typecheck_bundled_job(ubuntu, 21)
-typecheck_latest_job(ubuntu, 24)
-typecheck_bundled_job(ubuntu, 24)
 typecheck_latest_job(ubuntu, 25)
 typecheck_bundled_job(ubuntu, 25)
 
 quick_job(rockylinux, 8)
 quick_job(rockylinux, 11)
 quick_job(rockylinux, 17)
 quick_job(rockylinux, 21)
-quick_job(rockylinux, 24)
 quick_job(rockylinux, 25)
 
 nonquick_job(rockylinux, 8)
 nonquick_job(rockylinux, 11)
 nonquick_job(rockylinux, 17)
 nonquick_job(rockylinux, 21)
-nonquick_job(rockylinux, 24)
 nonquick_job(rockylinux, 25)
 
 nontxt_job(rockylinux, 8)
 nontxt_job(rockylinux, 11)
 nontxt_job(rockylinux, 17)
 nontxt_job(rockylinux, 21)
-nontxt_job(rockylinux, 24)
 nontxt_job(rockylinux, 25)
 
 misc_job(rockylinux, 8)
 misc_job(rockylinux, 11)
 misc_job(rockylinux, 17)
 misc_job(rockylinux, 21)
-misc_job(rockylinux, 24)
 misc_job(rockylinux, 25)
 
 kvasir_job(rockylinux, 8)
 kvasir_job(rockylinux, 11)
 kvasir_job(rockylinux, 17)
 kvasir_job(rockylinux, 21)
-kvasir_job(rockylinux, 24)
 kvasir_job(rockylinux, 25)