Skip to content

Merge branch 'release' into main #1214

Merge branch 'release' into main

Merge branch 'release' into main #1214

Workflow file for this run

name: Publish Documentation
on:
push:
branches:
- main
workflow_dispatch:
jobs:
publish:
runs-on: ubuntu-22.04
name: Publish Documentation
steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: 3.9
- name: Install ghp-import
run: pip install ghp-import
- name: Build documentation
run: "./pants docs ::"
- name: Publish Documentation
run: ghp-import --push --force --no-history --no-jekyll dist/sphinx/