Skip to content

Deploy GitHub Pages

Deploy GitHub Pages #2

Workflow file for this run

name: Deploy GitHub Pages
on:
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: "pages"
cancel-in-progress: false
jobs:
build-docs:
runs-on: ubuntu-22.04
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Install Doxygen
run: sudo apt install -y doxygen
- name: Install Graphviz
run: sudo apt install -y graphviz
- name: Install Doxygen Awesome
working-directory: ${{ github.workspace }}/docs
run: git clone https://github.com/jothepro/doxygen-awesome-css.git -b v2.2.1
- name: Run Doxygen
working-directory: ${{ github.workspace }}/docs
run: doxygen
- name: Setup GitHub Pages
uses: actions/configure-pages@v5
- name: Upload artifact
uses: actions/upload-artifact@v3
with:
name: docs-build
path: "${{ github.workspace }}/docs/html"
deploy:
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
needs: build-docs
runs-on: ubuntu-22.04
steps:
- name: Setup GitHub Pages
uses: actions/configure-pages@v5
- name: Download docs build
uses: actions/download-artifact@v4
with:
name: docs-build
path: dist/docs
- name: Upload artifact
uses: actions/upload-pages-artifact@v3
with:
path: dist
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v4