add more linters

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

Hide file tree

Showing 23 changed files with 62 additions and 1,297 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