add more linters

ben-manes · Mar 24, 2024 · 5840319 · 5840319
1 parent 3d84225
commit 5840319
Show file tree

Hide file tree

Showing 22 changed files with 50 additions and 1,285 deletions.
diff --git a/.github/actions/run-gradle/action.yml b/.github/actions/run-gradle/action.yml
@@ -2,7 +2,7 @@ name: Run Gradle
 description: Sets up Gradle JDKs and runs Gradle
 inputs:
   arguments:
-    required: true
+    required: false
     description: Gradle arguments
   java:
     required: true
@@ -83,6 +83,7 @@ runs:
         gradle-home-cache-cleanup: true
         gradle-home-cache-strict-match: true
     - name: Run ${{ inputs.arguments }}
+      if: ${{ env.arguments != '' }}
       env:
         JAVA_HOME: ${{ steps.setup-gradle-jdk.outputs.path }}
         ORG_GRADLE_PROJECT_org.gradle.java.installations.auto-download: 'false'

diff --git a/.github/workflows/analysis.yml b/.github/workflows/analysis.yml
diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml