json encoding

9 months ago · e7ec1b8ff1
parent d828ac4344
commit e7ec1b8ff1
1 changed files with 1 additions and 1 deletions
--- a/.github/workflows/jenkins-pr-trigger.yaml
+++ b/.github/workflows/jenkins-pr-trigger.yaml
@ -28,7 +28,7 @@ jobs:
          const hasWriteAccess = permissions.permission === 'write' || permissions.permission === 'admin';
          return (hasWriteAccess && comment.includes(triggerPhrase));
-        result-encoding: boolean
+        result-encoding: json
    - name: Set PR number
      id: set_pr_number