Don't run misc job under JDK 17

[mernst]

No description provided.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: 884a4dc4-943c-4203-920d-eca94960fc73

📥 Commits

Reviewing files that changed from the base of the PR and between 0d6bd2d and 26c033b.

📒 Files selected for processing (5)

• .azure/azure-pipelines.yml
• .azure/jobs.m4
• .circleci/config.yml
• .github/workflows/ci.yml
• checker/bin-devel/test-misc.sh

💤 Files with no reviewable changes (4)

• .azure/jobs.m4
• .azure/azure-pipelines.yml
• .github/workflows/ci.yml
• .circleci/config.yml

---

📝 Walkthrough

Walkthrough

This PR removes Java 17 from the project's CI/CD testing infrastructure by deleting the misc_jdk17 job definition from all four pipeline configuration systems: Azure Pipelines (.azure/azure-pipelines.yml and .azure/jobs.m4), CircleCI (.circleci/config.yml), and GitHub Workflows (.github/workflows/ci.yml). A clarifying comment is added to checker/bin-devel/test-misc.sh documenting that the script cannot run under Java 17. Note: the CircleCI workflows section still references the deleted misc_jdk17 job.

Possibly related PRs

• typetools/checker-framework#7323: Both PRs modify CI job definitions for per-JDK "misc" jobs including misc_jdk17 entries across pipeline YAMLs.
• typetools/checker-framework#7670: Both PRs modify how the misc JDK jobs are configured, with this PR removing misc_jdk17 while the related PR changes how ORG_GRADLE_PROJECT_jdkTestVersion is provided.
• typetools/checker-framework#7324: Both PRs modify the same misc_jdk17 CI job definitions across pipeline configurations.

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}