fix auto merger in github workflow

KeYProject · Nov 22, 2024 · 89d5911 · 89d5911
1 parent d5992f3
commit 89d5911
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/code_quality.yml b/.github/workflows/code_quality.yml
@@ -34,6 +34,4 @@ jobs:
           java-version: '21'
           cache: 'gradle'
       - name: Build with Gradle
-        uses: gradle/[email protected]
-        with:
-          arguments: --continue spotlessCheck
+        run: ./gradlew --parallel --continue spotlessCheck