ci: Lint workflows

gdupontf · Nov 27, 2023 · a6202ec · a6202ec
1 parent f132b30
commit a6202ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
@@ -46,6 +46,6 @@ jobs:
         env:
           GH_TOKEN: ${{ github.token }}
       - name: Did linting pass?
-        run: '[[ $WAS_DIRTY = true ]] && exit 1'
+        run: "[[ $WAS_DIRTY = true ]] && exit 1"
       - name: Build with Maven
         run: ./mvnw -B package -Drevision='${{ steps.increment-version.outputs.new-version }}' -Dchangelist='-SNAPSHOT' --file pom.xml -P pr