Skip to content

Upgrade to wpiformat 2024.41 (#634) #3012

Upgrade to wpiformat 2024.41 (#634)

Upgrade to wpiformat 2024.41 (#634) #3012

Workflow file for this run

name: Documentation
on: [pull_request, push]
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
cancel-in-progress: true
jobs:
doxygen:
name: "Doxygen"
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
- run: mkdir build
- name: Make GCC 14 the default toolchain (Linux)
run: |
sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-14 200
sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-14 200
- uses: actions/setup-python@v5
with:
python-version: "3.12"
- run: pip3 install \
build \
py-build-cmake \
pybind11 \
pybind11-stubgen \
pybind11-mkdoc \
clang
- run: sudo apt-get install -y doxygen
- run: ./tools/generate_website.py
- uses: actions/upload-artifact@v4
with:
name: documentation
path: build/html