Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 26 additions & 0 deletions .github/workflows/wiki-sync.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
name: Sync docs to wiki

# The wiki is a generated mirror of docs/. Edit docs/ via pull requests;
# this publishes them to the GitHub wiki on every merge to main.
on:
push:
branches: [main]
paths: ['docs/**']
workflow_dispatch:

permissions:
contents: write

concurrency:
group: wiki-sync
cancel-in-progress: true

jobs:
sync:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Publish docs/ to wiki
uses: Andrew-Chen-Wang/github-wiki-action@50650fccf3a10f741995523cf9708c53cec8912a # v4
with:
path: docs/
Comment thread
aidangarske marked this conversation as resolved.
Loading
Loading