diff options
author | Steven Arcangeli <stevearc@stevearc.com> | 2023-08-28 07:56:17 -0700 |
---|---|---|
committer | Steven Arcangeli <stevearc@stevearc.com> | 2023-08-28 07:59:30 -0700 |
commit | 27494d493bf8059e94b3074af6f6fa3747d72ca9 (patch) | |
tree | a14e4a7d8d333bea3aec575929b574f9cdb46b60 /.github/workflows/update-docs.yml | |
parent | 6082883585a5c61c7a5c6697517931bc6e39f546 (diff) |
ci: merge workflows
Diffstat (limited to '.github/workflows/update-docs.yml')
-rw-r--r-- | .github/workflows/update-docs.yml | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/.github/workflows/update-docs.yml b/.github/workflows/update-docs.yml deleted file mode 100644 index 813e69c..0000000 --- a/.github/workflows/update-docs.yml +++ /dev/null @@ -1,35 +0,0 @@ -name: Update docs - -on: push - -jobs: - update-readme: - name: Update docs - runs-on: ubuntu-22.04 - steps: - - uses: actions/checkout@v3 - with: - submodules: true - - - name: Install Neovim and dependencies - env: - NVIM_TAG: v0.8.3 - run: | - bash ./.github/workflows/install_nvim.sh - - - name: Update docs - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - COMMIT_MSG: | - [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 -m pip install pyparsing==3.0.9 - python .github/main.py generate - python .github/main.py lint - 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}) |