From a6202ecfc988c023675fc047967426550f1fdf53 Mon Sep 17 00:00:00 2001
From: Gabriel Dupont-Francoeur <gabriel.dupontf@gmail.com>
Date: Mon, 27 Nov 2023 03:05:53 -0500
Subject: [PATCH] ci: Lint workflows

---
 .github/workflows/pull_request.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index a11b621..2445cfa 100644
--- 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