Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat(docs): add workflow to generate documentation on PR merge #12681

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
31 changes: 31 additions & 0 deletions .github/workflows/docsgen-cli.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: Generate Documentation

virajbhartiya marked this conversation as resolved.
Show resolved Hide resolved
on:
pull_request:
types: [closed]
branches:
- master

jobs:
generate-docs:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest

steps:
- name: Checkout code
uses: actions/checkout@v4

- name: Generate documentation
run: make docsgen-cli

- name: Commit and push generated docs
run: |
if [ -n "$(git status --porcelain)" ]; then
git config user.name "GitHub Actions"
git config user.email [email protected]
git add .
git commit --amend --no-edit
git push --force
else
echo "No changes to commit"
fi
Loading