Documentation push trigger #335
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Workflow to trigger the job that will host the documentation | |
| name: Documentation push trigger | |
| on: | |
| workflow_run: | |
| # Run the workflow after the separate "Documentation builder" workflow completes | |
| workflows: [Documentation builder] | |
| types: | |
| - completed | |
| jobs: | |
| push: | |
| runs-on: ubuntu-20.04 | |
| # Run the job only if the "Documentation builder" workflow succeeded | |
| # Prevents this workflow from running on a fork. | |
| # To test this workflow on a fork remove the `github.repository == nilearn/nilearn` condition | |
| if: github.repository == 'nilearn/nilearn' && github.event.workflow_run.conclusion == 'success' | |
| steps: | |
| - name: Checkout nilearn | |
| uses: actions/checkout@v3 | |
| - name: Trigger hosting jobs | |
| run: bash build_tools/github/trigger_hosting.sh | |
| env: | |
| CIRCLE_CI_TOKEN: ${{ secrets.CIRCLE_CI_TOKEN }} | |
| EVENT: ${{ github.event.workflow_run.event }} | |
| RUN_ID: ${{ github.event.workflow_run.id }} | |
| HEAD_BRANCH: ${{ github.event.workflow_run.head_branch }} | |
| COMMIT_SHA: ${{ github.event.workflow_run.head_sha }} | |
| REPO_NAME: ${{ github.event.workflow_run.head_repository.full_name }} | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |