Merge pull request #3521 from edwardspec/test-pull-requests

(tests) Warn if description of the pull request has quote symbols
sayterdarkwynd · Dec 21, 2023 · fd5d757 · fd5d757
2 parents 6856049 + 4334e26
commit fd5d757
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -14,6 +14,12 @@ jobs:
       - name: RUN -- npm test
         run: ( cd tests/travis && npm test )
 
+      - name: Check description of pull request
+        env:
+          PRDESC: ${{ github.event.pull_request.body }}
+        run: |
+          echo "$PRDESC" | grep -qv '"' || ( echo "::error:: Description of Pull Request shouldn't contain quote symbols [\"], please replace them with single quote [']."; false )
+
   # Check Lua files with "luacheck" tool (Lua static analyzer).
   luacheck:
     runs-on: ubuntu-20.04