doc: actually fix github pages deploy

This commit is contained in:
Ryan Mulligan 2023-03-04 14:41:59 -08:00
parent 2fb0a74be3
commit b1d6d764e1

View file

@ -33,11 +33,9 @@ jobs:
- name: Setup Pages - name: Setup Pages
uses: actions/configure-pages@v3 uses: actions/configure-pages@v3
- uses: cachix/install-nix-action@v20 - uses: cachix/install-nix-action@v20
- run: nix build .#doc - run: nix build .#doc && mkdir -p _site/ && cp -r ./result/multi/* _site/
- name: Upload artifact - name: Upload artifact
uses: actions/upload-pages-artifact@v1 uses: actions/upload-pages-artifact@v1
with:
path: './result/multi'
- name: Deploy to GitHub Pages - name: Deploy to GitHub Pages
id: deployment id: deployment
uses: actions/deploy-pages@v1 uses: actions/deploy-pages@v1