Skip to content

General Fixes (#90) #33

General Fixes (#90)

General Fixes (#90) #33

Workflow file for this run

name: Release Workshop Docs
on:
push:
branches:
- main
paths:
- 'docs/**'
- 'mkdocs.yml'
- 'Makefile'
workflow_dispatch: {}
concurrency:
group: "pages"
cancel-in-progress: true
jobs:
release-docs:
runs-on: ubuntu-latest
name: Build
steps:
- uses: actions/checkout@v3
- name: Set up Python
uses: actions/setup-python@v4
with:
python-version: "3.8"
- name: Capture branch and tag
id: branch_name
run: |
echo "SOURCE_BRANCH=${GITHUB_REF#refs/heads/}" >> $GITHUB_ENV
echo "SOURCE_TAG=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
- name: Build workshop site
run: |
make build-docs-website
- name: Release all docs to branch
uses: JamesIves/github-pages-deploy-action@v4
with:
folder: ./dist
branch: gh-pages
clean-exclude: |
pr-preview
.github
publish-docs:
name: Publish
needs: release-docs
uses: ./.github/workflows/publish-docs.yml