Skip to content
This repository was archived by the owner on Aug 12, 2026. It is now read-only.

Merge pull request #159 from acgetchell/release/v1.0.0 #87

Merge pull request #159 from acgetchell/release/v1.0.0

Merge pull request #159 from acgetchell/release/v1.0.0 #87

Workflow file for this run

---
name: Doxygen
"on":
push:
branches:
- main
pull_request:
branches:
- main
workflow_dispatch:
permissions:
contents: read
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
validate:
name: docs
runs-on: ubuntu-latest
steps:
- name: Check out repository
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
with:
persist-credentials: false
- name: Set up Just
uses: ./.github/actions/setup-just
- name: Set up pkgx
uses: pkgxdev/setup@4d4ae97af87ccb39ab8be4e073dea697fef2c6f7 # v5.0.0
- name: Validate documentation
run: just docs-check
deploy:
if: github.event_name != 'pull_request'
needs:
- validate
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Check out repository
uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
with:
persist-credentials: false
- name: Set up Just
uses: ./.github/actions/setup-just
- name: Set up pkgx
uses: pkgxdev/setup@4d4ae97af87ccb39ab8be4e073dea697fef2c6f7 # v5.0.0
- name: Build documentation for publication
run: just docs
- name: Publish documentation
uses: JamesIves/github-pages-deploy-action@d92aa235d04922e8f08b40ce78cc5442fcfbfa2f # v4.8.0
with:
token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
folder: docs/html