diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml index ba15781ddeb..e0813de0236 100644 --- 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,8 +30,9 @@ 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 }} pr_number: ${{ steps.get_pr_number.outputs.pr_number }} doc_version: ${{ steps.get_doc_version.outputs.result }} @@ -53,24 +54,27 @@ jobs: exit 1 fi echo "force_build=${force_build}" >> $GITHUB_OUTPUT + echo "trigger_build=${trigger_build}" >> $GITHUB_OUTPUT - name: Check permissions - if: 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: ${{ ! 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 "Not Authorized" + 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: ( 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: ( steps.check_comment_body.outputs.trigger_build || false ) uses: actions/github-script@v7 id: get_doc_version with: @@ -88,7 +92,8 @@ jobs: throw new Error('No version found') build_doc: - name: Build PR Documentation + name: | + ${{ format('{0}: Build Documentation version "{1}"', github.actor, needs.pre_build_checks.outputs.doc_version) }} needs: pre_build_checks permissions: contents: read # to fetch code (actions/checkout) @@ -98,6 +103,7 @@ jobs: force_build: ${{ needs.pre_build_checks.outputs.force_build }} pr_number: ${{ needs.pre_build_checks.outputs.pr_number }} doc_version: ${{ needs.pre_build_checks.outputs.doc_version }} + if: ${{ fromJSON(needs.pre_build_checks.outputs.trigger_build || false) }} steps: - name: Emoji-comment diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_internal_release_of_the_day.py b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_internal_release_of_the_day.py index ab1b640f42a..8448203c673 100644 --- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_internal_release_of_the_day.py +++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_internal_release_of_the_day.py @@ -8,17 +8,17 @@ import os import datetime import locale import argparse -from cgal_release import release, integration, master, beta_release, master, beta_release_from_master +from cgal_release import release, integration, master, beta_release, beta_release_from_master # Define a dictionary that maps day of the week to an action actions = { "Monday": integration, - "Tuesday": release("5.5"), #integration, - "Wednesday": release("5.6"), #integration, + "Tuesday": integration, + "Wednesday": integration, "Thursday": integration, "Friday": release("5.5"), "Saturday": release("5.6"), - "Sunday": beta_release_from_master(2), + "Sunday": master, }