json encoding

commaai · Jul 23, 2024 · e7ec1b8 · e7ec1b8
1 parent d828ac4
commit e7ec1b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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