ci: pin benchmark workflow scalafix step to spark-4.0 profile

The default Maven profile recently switched to spark-4.1 / Scala 2.13.17,
but semanticdb-scalac_2.13.17 is not yet published, so -Psemanticdb fails
to resolve dependencies. pr_build_linux.yml already excludes spark-4.1
from its lint matrix for the same reason; pr_benchmark_check.yml was
missed. Pin scalafix to -Pspark-4.0 (Scala 2.13.16) where semanticdb
artifacts are available.

Author: andygrove

.github/workflows/pr_benchmark_check.yml

@@ -84,5 +84,9 @@ jobs:
             ${{ runner.os }}-benchmark-maven-
 
       - name: Check Scala compilation and linting
+        # Pin to spark-4.0 (Scala 2.13.16) because the default profile is now
+        # spark-4.1 / Scala 2.13.17, and semanticdb-scalac_2.13.17 is not yet
+        # published, which breaks `-Psemanticdb`. See pr_build_linux.yml for
+        # the same exclusion in the main lint matrix.
         run: |
-          ./mvnw -B compile test-compile scalafix:scalafix -Dscalafix.mode=CHECK -Psemanticdb -DskipTests
+          ./mvnw -B compile test-compile scalafix:scalafix -Dscalafix.mode=CHECK -Psemanticdb -Pspark-4.0 -DskipTests