Disable spotlessGroovy check

[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: 3fe45e62-0d0f-43ae-a65a-99ad111866a4

📥 Commits

Reviewing files that changed from the base of the PR and between cc1a609 and abe7e9e.

📒 Files selected for processing (1)

• checker/bin-devel/test-misc.sh

---

📝 Walkthrough

Walkthrough

The script checker/bin-devel/test-misc.sh no longer runs ./gradlew spotlessGroovy (the invocation and its retry/sleep wrapper are commented out). The script now executes ./gradlew spotlessCheck with -x spotlessGroovy to skip that specific task, and includes commentary about intermittent P2 provisioning hangs/failures.

Possibly related PRs

• typetools/checker-framework#7621: Also modifies the spotlessGroovy command in checker/bin-devel/test-misc.sh to change its execution behavior (silence output vs. commenting out).
• typetools/checker-framework#7716: Also modifies the spotlessGroovy task handling in the same test script.

🚥 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.}