Skip to content

Merge branch 'develop' #4

Merge branch 'develop'

Merge branch 'develop' #4

name: Build docs and release to GitHub Pages from master
on:
push:
branches:
- 'master'
jobs:
build:
runs-on: ubuntu-22.04
steps:
- name: Checkout Repository
uses: actions/checkout@v4.1.7
- name: Install dependencies
run: |
sudo apt-get install doxygen graphviz cmake
- name: Generate Doxygen HTML documentation
run: |
cmake ./ -B build -DLT_BUILD_DOCS=ON
pushd build/
make doc_doxygen
popd
- name: Upload built HTML as artifact
id: html_artifact
uses: actions/upload-pages-artifact@v3
with:
path: build/docs/doxygen/html
deploy:
environment:
name: github-pages
url: ${{ steps.html_artifact.outputs.page_url }}
runs-on: ubuntu-latest
needs: build
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
steps:
- name: Deploy to GitHub Pages
id: pages_deployment
uses: actions/deploy-pages@v4