ci: Fix CI

This commit is contained in:
Bᴇʀɴᴅ Sᴄʜᴏʀɢᴇʀs 2023-01-11 14:59:49 +01:00
parent a2ff024fa0
commit cadc4b975a
No known key found for this signature in database
GPG key ID: BC5E2BD907F9A8EC

View file

@ -32,7 +32,7 @@ jobs:
- name: Build docs
uses: docker://ghcr.io/bjw-s/mdbook:0.4.25@sha256:53066a711f535966d2a792641cc66b598e35828e31f96c9e6e167f20df198749
with:
args: mdbook build docs
args: bash -c "cd docs && mdbook build"
- name: Deploy
uses: peaceiris/actions-gh-pages@v3.9.1