2323
2424 # Allows you to run this workflow manually from the Actions tab
2525 workflow_dispatch :
26+ inputs :
27+ ga :
28+ description : ' GA (Official) Build'
29+ required : true
30+ type : boolean
31+ default : false
2632
2733env :
2834 REGISTRY : ghcr.io
@@ -604,15 +610,15 @@ jobs:
604610 msg : ${{ github.repository }}
605611
606612 - name : Unzip docs
607- if : ${{ contains(github.ref, 'refs/heads/main') }}
613+ if : ${{ inputs.ga == 'true' }}
608614 run : |
609615 mkdir userguide
610616 unzip artifacts-docs/mig-docs-${{ env.SEMVER }}.zip -d userguide/
611617 ls -lR userguide/
612618
613619 - name : Deploy Docs
614620 uses : peaceiris/actions-gh-pages@v3
615- if : ${{ contains(github.ref, 'refs/heads/main') }}
621+ if : ${{ inputs.ga == 'true' }}
616622 with :
617623 github_token : ${{ secrets.GITHUB_TOKEN }}
618624 publish_dir : userguide/
@@ -637,7 +643,7 @@ jobs:
637643
638644 - name : Publish release with GitReleaseManager
639645 uses : gittools/actions/gitreleasemanager/publish@v3.1.11
640- if : ${{ contains(github.ref, 'refs/heads/main') }}
646+ if : ${{ inputs.ga == 'true' }}
641647 with :
642648 token : ${{ secrets.GITHUB_TOKEN }}
643649 owner : ${{ steps.repo.outputs._0 }}
@@ -646,7 +652,7 @@ jobs:
646652
647653 - name : Close release with GitReleaseManager
648654 uses : gittools/actions/gitreleasemanager/close@v3.1.11
649- if : ${{ contains(github.ref, 'refs/heads/main') }}
655+ if : ${{ inputs.ga == 'true' }}
650656 with :
651657 token : ${{ secrets.GITHUB_TOKEN }}
652658 owner : ${{ steps.repo.outputs._0 }}
0 commit comments