CI: fix escaping of PR title

godot-rust · Feb 11, 2024 · ee66121 · ee66121
1 parent 217fede
commit ee66121
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/update-docs.yml b/.github/workflows/update-docs.yml
@@ -59,15 +59,17 @@ jobs:
       # Opened/reopened/updated PR: include PR author + title
       - name: "Construct JSON (for PR sync)"
         if: github.event_name == 'pull_request' && github.event.action != 'closed'
-        # jq escapes backticks, double quotes etc. in PR title.
+        env:
+          # jq escapes backticks, double quotes etc. in PR title.
+          PR_TITLE: ${{ github.event.pull_request.title }}
         run: |
           payload=$(jq -n \
           --arg repoOwner '${{ github.repository_owner }}' \
           --arg num '${{ github.event.number }}' \
           --arg commitSha '${{ github.event.pull_request.head.sha }}' \
           --arg date '${{ github.event.pull_request.updated_at }}' \
           --arg prAuthor '${{ github.event.pull_request.user.login }}' \
-          --arg prTitle '${{ github.event.pull_request.title }}' \
+          --arg prTitle '$PR_TITLE' \
           '{
             "op": "put",
             "repo": "gdext",