Skip to content

Use a manual deduplicated sum to improve performance #40

Use a manual deduplicated sum to improve performance

Use a manual deduplicated sum to improve performance #40

Workflow file for this run

name: Documentation
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
# Install doxygen and other native dependencies
- name: Install dependencies
run: sudo apt update && sudo apt install -y dia doxygen doxygen-doc graphviz mscgen texlive-base texlive-latex-extra texlive-font-utils texlive-fonts-extra texlive-fonts-recommended libgs-dev
# Install mcss dependencies with pip
- uses: actions/setup-python@v4
with:
python-version: '3.9'
- run: pip3 install jinja2 Pygments
- name: Set reusable strings
id: strings
shell: bash
run: |
echo "build-output-dir=${{ github.workspace }}/build" >> "$GITHUB_OUTPUT"
- name: Configure CMake
run: >
cmake -B ${{ steps.strings.outputs.build-output-dir }}
-DCMAKE_CXX_COMPILER=g++
-DSYMTENSOR_BUILD_DOCUMENTATION=ON
-DSYMTENSOR_BUILD_BENCHMARKS=OFF
-DSYMTENSOR_BUILD_TESTS=OFF
-S ${{ github.workspace }}
- name: Build
run: cmake --build ${{ steps.strings.outputs.build-output-dir }} --target documentation
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ${{ steps.strings.outputs.build-output-dir }}/doc/html