diff options
author | Marvin Borner | 2023-11-11 19:19:01 +0100 |
---|---|---|
committer | Marvin Borner | 2023-11-11 19:19:01 +0100 |
commit | ff53e25945776668d12156193fa5bd7694055174 (patch) | |
tree | fc9fe7822b94cb966cc9d95503bee82df0c3c9ca /.github/workflows/gen.yml | |
parent | 91db2d7825f3d820d9c7e3e862148411de0897b9 (diff) |
Added wiki to workflow
Diffstat (limited to '.github/workflows/gen.yml')
-rw-r--r-- | .github/workflows/gen.yml | 9 |
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 |