fix if cond

jr-b · Jul 29, 2023 · 816780c · 816780c
1 parent 9ac457f
commit 816780c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -26,7 +26,7 @@ jobs:
           git config --local user.email "action@github.com"
           git config --local user.name "github-actions"
           git add --all
-          if [[ -z "$(git status --porcelain)"]]; then
+          if [ -z "$(git status --porcelain)" ]; then
              echo "::set-output name=push::false"
           else
              git commit -m "Updated PDF" -a