toJSON title in message

.github/workflows/release.yml

@@ -41,7 +41,7 @@ jobs:
       - name: 'Pull Request title must be "release: ${{ steps.version.outputs.tag }}"'
         if: "(github.event_name == 'pull_request') && !fromJSON(steps.version.outputs.exists) && (github.event.pull_request.title != 'release: ${{ steps.version.outputs.tag }}')"
         run: |-
-          echo 'Please update the PR title to "release: ${{ steps.version.outputs.tag }}" (instead of "${{ github.event.pull_request.title }}")'
+          echo 'Please update the PR title to "release: ${{ steps.version.outputs.tag }}" (instead of ${{ toJSON(github.event.pull_request.title) }})'
           exit 1
 
       # If the release does not yet exist, create a draft release targeting this commit.