Skip to content

Publish Docs

Publish Docs #7660

Workflow file for this run

name: Publish Docs
on:
workflow_run:
workflows: ['ci']
types:
- completed
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: Dump GitHub context
env:
GITHUB_CONTEXT: ${{ toJson(github) }}
run: echo "$GITHUB_CONTEXT"
- name: Download artifact
uses: dawidd6/action-download-artifact@v7
if: github.event.workflow_run.conclusion == 'success'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
workflow: ci.yml
run_id: ${{ github.event.id }}
name: docs
path: docs
- name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v4.1.0
with:
target_branch: gh-pages
build_dir: docs
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}