Fix lint script when files are only deleted

mdn · Aug 8, 2023 · e5ebcbf · e5ebcbf
1 parent 4a90e2c
commit e5ebcbf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/pr-check-lint_content.yml b/.github/workflows/pr-check-lint_content.yml
@@ -68,6 +68,7 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
       - name: Lint and format markdown files
+        if: ${{ env.DIFF_DOCUMENTS }}
         run: |
           # Generate random delimiter
           # https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions#multiline-strings