Skip to content

Merge pull request #9 from themr0c/fix-edit-this-page-and-enable-html… #1

Merge pull request #9 from themr0c/fix-edit-this-page-and-enable-html…

Merge pull request #9 from themr0c/fix-edit-this-page-and-enable-html… #1

Workflow file for this run

name: Build and publish docs
on:
push:
branches:
- "main"
pull_request: {}
jobs:
build:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
steps:
- name: Check out repository code
uses: actions/checkout@v4
- name: Build docs
run: CONTAINER_RUNTIME=docker CI=true make build_docs
- name: Check links in docs
run: CONTAINER_RUNTIME=docker make docs_check_links
- name: Deploy
uses: peaceiris/actions-gh-pages@v4
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./public