Skip to content

Rename References to Useful Resources #98

Rename References to Useful Resources

Rename References to Useful Resources #98

Workflow file for this run

# Build pull requests and deploy.
name: Deploy PR previews
on:
pull_request:
types:
- opened
- reopened
- synchronize
- closed
concurrency: preview-${{ github.ref }}
jobs:
deploy-preview:
runs-on: ubuntu-latest
steps:
- name: Check out
uses: actions/checkout@v4
- name: Set up Python
uses: actions/setup-python@v5
with:
python-version: '3.10'
cache: 'pip'
- name: Install Material for MkDocs
run: |
python -m pip install --upgrade pip
pip install -r requirements.txt
- name: Build the book
run: |
mkdocs build
# NOTE: we can only deploy PR previews from the original repository.
# This action fails when the PR originates from a forked repository;
# see https://github.com/rossjrw/pr-preview-action/issues/3 for details.
- name: Deploy preview
if: github.event.pull_request.head.repo.full_name == github.repository
uses: rossjrw/pr-preview-action@v1
with:
source-dir: site
force: false
clean-exclude: pr-preview/