wip [skip ci]

lrineau · Sep 23, 2024 · 93b57d8 · 93b57d8
1 parent e9c8403
commit 93b57d8
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
@@ -1,4 +1,4 @@
-name: Documentation
+name: Build Documentation
 
 on:
   workflow_dispatch:
@@ -30,7 +30,7 @@ permissions:
 jobs:
   pre_build_checks:
     runs-on: ubuntu-latest
-    name: Checks if the workflow should be executed
+    name: Trigger the build?
     outputs:
       trigger_build: ${{ steps.get_doc_version.outputs.result && steps.get_doc_version.outputs.result != '' }}
       force_build: ${{ steps.check_comment_body.outputs.force_build }}
@@ -57,24 +57,24 @@ jobs:
           echo "trigger_build=${trigger_build}" >> $GITHUB_OUTPUT
 
       - name: Check permissions
-        if: ${{ fromJSON(steps.check_comment_body.outputs.trigger_build) }} && (inputs.pr_number || env.author_association == 'OWNER' || env.author_association == 'MEMBER')
+        if: ( steps.check_comment_body.outputs.trigger_build || false ) && (inputs.pr_number || env.author_association == 'OWNER' || env.author_association == 'MEMBER')
         run: echo "Authorized"
 
       - name: No permissions
-        if: ${{ fromJSON(steps.check_comment_body.outputs.trigger_build) }} && (! inputs.pr_number && env.author_association != 'OWNER' && env.author_association != 'MEMBER' )
+        if: ( steps.check_comment_body.outputs.trigger_build || false ) && (! inputs.pr_number && env.author_association != 'OWNER' && env.author_association != 'MEMBER' )
         run: |
           echo 'ERROR: User ${{ github.actor }} is not allowed to trigger the build of the documentation with /build:* or /force-build:*'
           exit 1
 
       - name: Get PR number
-        if: ${{ fromJSON(steps.check_comment_body.outputs.trigger_build) }}
+        if: ( steps.check_comment_body.outputs.trigger_build || false )
         id: get_pr_number
         env:
           pr_number: ${{ inputs.pr_number || github.event.issue.number }}
         run: echo "pr_number=$pr_number" >> $GITHUB_OUTPUT
 
       - name: Get doc version
-        if: ${{ fromJSON(steps.check_comment_body.outputs.trigger_build) }}
+        if: ( steps.check_comment_body.outputs.trigger_build || false )
         uses: actions/github-script@v7
         id: get_doc_version
         with:
@@ -92,7 +92,7 @@ jobs:
             throw new Error('No version found')
 
   build_doc:
-    name: Build PR Documentation
+    name: ${{ format('Build Doc PR %23{0} ({1})', needs.pre_build_checks.outputs.pr_number, needs.pre_build_checks.outputs.doc_version) }}
     needs: pre_build_checks
     permissions:
       contents: read # to fetch code (actions/checkout)