Merge pull request #174 from ryantm/rm-3-4-doc

doc: actually fix github pages deploy
This commit is contained in:
Ryan Mulligan 2023-03-04 14:42:46 -08:00 committed by GitHub
commit 03b51fe8e4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -33,11 +33,9 @@ jobs:
- name: Setup Pages
uses: actions/configure-pages@v3
- 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
uses: actions/upload-pages-artifact@v1
with:
path: './result/multi'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v1