ci: run CPD without a compile pass in the lint lane

CPD tokenizes sources under src/ and needs neither bytecode nor a
resolved target platform, so the second lint invocation drops its
compile goals. cpd.xml outputs are identical with and without the
compile pass, verified at the current token threshold and at the
PMD default of 100 (timestamp attributes aside).

Measured locally (warm tree, JDK 21): 6.8s vs 44.3s at the current
threshold; 4.5s vs 28.5s at threshold 100. In CI the invocation was
53s, ~40s of it redundant recompilation and JVM startup.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: joaodinissf

.github/workflows/verify.yml

@@ -58,11 +58,13 @@ jobs:
       - name: CPD report (separate invocation — no SARIF support)
         # CPD has no SARIF renderer; emits cpd.xml only. Run standalone so the
         # PMD -Dformat flag isn't in scope.
+        # No `compile`: CPD is token-based over src/ and needs neither bytecode
+        # nor the target platform — cpd.xml is identical with and without a
+        # compile pass.
         # NOTE: the CPD token threshold is governed by pmd.cpd.min in
         # ddk-parent/pom.xml.
         run: |
           mvn -T 2C -f ./ddk-parent/pom.xml --batch-mode --fail-never \
-            compile \
             pmd:cpd-check
 
       - name: Merge per-module SARIFs (PMD + Checkstyle)