Skip to content

Update ruling results for PR #6459 - #6461

Closed
github-actions[bot] wants to merge 1 commit into
use-jdt-release-optionfrom
fix/update-ruling-for-use-jdt-release-option
Closed

Update ruling results for PR #6459#6461
github-actions[bot] wants to merge 1 commit into
use-jdt-release-optionfrom
fix/update-ruling-for-use-jdt-release-option

Commits

  1. Commits on Nov 2, 2026