ci: fix document generation job

This commit is contained in:
Steven Arcangeli 2022-10-21 20:22:01 -07:00
parent c5f656cb78
commit 5deb9c488d

View file

@ -1,13 +1,15 @@
name: Update README
name: Update docs
on: push
jobs:
update-readme:
name: Update README
name: Update docs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
with:
submodules: true
- name: Install Neovim and dependencies
env:
@ -15,17 +17,20 @@ jobs:
run: |
bash ./.github/workflows/install_nvim.sh
- name: Update README
- name: Update docs
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
COMMIT_MSG: |
[docgen] Update README.md
[docgen] Update docs
skip-checks: true
run: |
git config user.email "actions@github"
git config user.name "Github Actions"
git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
python .github/update_readme.py
git add README.md doc/aerial.txt
python -m pip install pyparsing
python .github/main.py generate
python .github/main.py lint
nvim --headless -c 'set runtimepath+=.' -c 'helptags ALL' -c 'qall'
git add README.md doc
# Only commit and push if we have changes
git diff --quiet && git diff --staged --quiet || (git commit -m "${COMMIT_MSG}"; git push origin HEAD:${GITHUB_REF})