Skip to content

Bump piped from 023ff02 to 4aaddeb #2161

Bump piped from 023ff02 to 4aaddeb

Bump piped from 023ff02 to 4aaddeb #2161

Workflow file for this run

name: Deploy PR preview docs
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
on:
pull_request:
types:
- opened
- reopened
- synchronize
- closed
permissions:
contents: write
pull-requests: write
jobs:
deploy-docs-preview:
runs-on: ubuntu-latest
steps:
- name: Fetch merge branch
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
with:
ref: ${{ github.event.pull_request.head.sha }}
repository: ${{ github.event.pull_request.head.repo.full_name }}
submodules: "true"
- name: Install Python
uses: ./.github/actions/setup-py
- name: Build docs
if: github.event.action != 'closed'
run: |
mkdir site
nox -s generate-docs -- -o ./site
- name: Deploy preview
uses: FasterSpeeding/pr-preview-action@task/override-committer
with:
git-config-email: "120557446+always-on-duty[bot]@users.noreply.github.com"
git-config-name: "always-on-duty[bot]"
preview-branch: docs
source-dir: ./site/