Skip to content

Add more valgrind suppressions + fixes #196

Add more valgrind suppressions + fixes

Add more valgrind suppressions + fixes #196

Workflow file for this run

name: Doxygen
on:
push:
branches: ['main']
pull_request:
branches: ['main']
types: [opened, closed]
jobs:
update-doxygen:
runs-on: ubuntu-latest
if: github.event.pull_request.merged == true
steps:
- uses: actions/checkout@v2
with:
persist-credentials: false
fetch-depth: 0
- name: Create local changes
run: |
sudo apt-get install doxygen
cd docs
doxygen
cp -r ./html/* ./
rm -rf ./html
git add .
- name: Commit files
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
git commit -m "Auto-generate Doxygen documentation via Github Actions" -a
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
force: true