aboutsummaryrefslogtreecommitdiffhomepage
path: root/.github/workflows/gen.yml
diff options
context:
space:
mode:
authorMarvin Borner2023-11-11 19:19:01 +0100
committerMarvin Borner2023-11-11 19:19:01 +0100
commitff53e25945776668d12156193fa5bd7694055174 (patch)
treefc9fe7822b94cb966cc9d95503bee82df0c3c9ca /.github/workflows/gen.yml
parent91db2d7825f3d820d9c7e3e862148411de0897b9 (diff)
Added wiki to workflow
Diffstat (limited to '.github/workflows/gen.yml')
-rw-r--r--.github/workflows/gen.yml9
1 files changed, 7 insertions, 2 deletions
diff --git a/.github/workflows/gen.yml b/.github/workflows/gen.yml
index d84469b..202af05 100644
--- a/.github/workflows/gen.yml
+++ b/.github/workflows/gen.yml
@@ -18,11 +18,16 @@ jobs:
build:
runs-on: ubuntu-latest
steps:
- - uses: actions/checkout@v3
+ - uses: actions/checkout@v4
+ - uses: actions/setup-python@v4
- name: Setup Pages
id: pages
uses: actions/configure-pages@v3
- - name: Generate files
+ - name: Install dependencies
+ run: pip3 install mkdocs-terminal
+ - name: Generate wiki
+ run: cd docs/ && mkdocs build
+ - name: Generate std
run: cd docs/ && ./gen.sh
- name: Upload artifact
uses: actions/upload-pages-artifact@v1