docs: Update workflow

This commit is contained in:
William 2023-04-21 14:11:34 +01:00
parent c9d150a11d
commit 771bce99ec
No known key found for this signature in database

View File

@ -1,26 +1,27 @@
# Update the GitHub Wiki documentation when a push is made to docs/ # Update the GitHub Wiki documentation when a push is made to docs/
name: Update Docs name: Update Docs
permissions:
contents: read
wikis: write
on: on:
push: push:
paths: paths:
- 'docs/**' - 'docs/**'
- 'workflows/update_docs.yml'
branches: branches:
- master - master
tags-ignore:
- '*'
jobs: jobs:
deploy-wiki: deploy-wiki:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v2 - name: 'Checkout Code'
- name: Push Changes to GitHub Wiki uses: actions/checkout@v3
- name: 'Push Changes to Wiki'
uses: Andrew-Chen-Wang/github-wiki-action@v3 uses: Andrew-Chen-Wang/github-wiki-action@v3
env: env:
WIKI_DIR: docs/ WIKI_DIR: docs/
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ github.token }}
GH_MAIL: ${{ github.actor }}@users.noreply.github.com GH_MAIL: ${{ github.actor }}@users.noreply.github.com
GH_NAME: ${{ github.repository_owner }} GH_NAME: ${{ github.repository_owner }}