Skip to content
This repository has been archived by the owner on Apr 9, 2024. It is now read-only.

Update Docs

Update Docs #4835

Workflow file for this run

name: Update Docs
on:
push:
branches:
- main
schedule:
- cron: '0 * * * *'
workflow_dispatch:
jobs:
update_docs:
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/[email protected]
- name: Set up Doxygen
run: sudo apt-get install doxygen
- name: Generate Doxygen Documentation
run: |
doxygen docs/Doxyfile
- name: Set up Git Credentials
run: |
git config --global user.name 'GitHub Actions'
git config --global user.email '[email protected]'
- name: Commit & Push Documentation
run: |
git diff > diff.txt
if [ -s diff.txt ]; then
COMMITTER_NAME=$(git log -1 --pretty=format:'%an')
COMMITTER_EMAIL=$(git log -1 --pretty=format:'%ae')
COMMITTER_MESSAGE=$(git log -1 --pretty=format:'%s')
git add docs/
git commit -m "[Docs Update] - $COMMITTER_MESSAGE"
git commit --amend --author="$COMMITTER_NAME <$COMMITTER_EMAIL>" -m "[Docs Update] - $COMMITTER_MESSAGE"
git push --force origin main
fi