ci: Lint check

gdupontf · Nov 27, 2023 · 78a53f4 · 78a53f4
1 parent 705268d
commit 78a53f4
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
@@ -46,6 +46,10 @@ jobs:
         env:
           GH_TOKEN: ${{ github.token }}
       - name: Did linting pass?
-        run: "[[ $WAS_DIRTY = true ]] && exit 1"
+        if: ${{ env.WAS_DIRTY == 'true' }}
+        uses: actions/github-script@v3
+        with:
+          script: |
+            core.setFailed('Repository was dirty after lint pass')
       - name: Build with Maven
         run: ./mvnw -B package -Drevision='${{ steps.increment-version.outputs.new-version }}' -Dchangelist='-SNAPSHOT' --file pom.xml -P pr