From e7ec1b8ff16feeb3d02200c95692aa4bcb402337 Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Tue, 23 Jul 2024 11:14:00 -0700 Subject: [PATCH] json encoding --- .github/workflows/jenkins-pr-trigger.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/jenkins-pr-trigger.yaml b/.github/workflows/jenkins-pr-trigger.yaml index 42ef4a7391..10c601777d 100644 --- 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