diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 991eb38..ddd5c51 100644 --- a/.github/workflows/gh-pages.yml +++ b/.github/workflows/gh-pages.yml @@ -22,16 +22,13 @@ jobs: with: name: numtide authToken: "${{ secrets.CACHIX_AUTH_TOKEN }}" - - name: Build the docs id: build run: | nix build .#docs echo "result=$(readlink ./result)" >> $GITHUB_OUTPUT - - - name: Deploy - uses: peaceiris/actions-gh-pages@v4 + - name: Upload artifact + uses: actions/upload-pages-artifact@v3 if: github.ref == 'refs/heads/main' with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: "${{ steps.build.outputs.result }}/" + path: result diff --git a/nix/packages.nix b/nix/packages.nix index 6334bb5..1c33d15 100644 --- a/nix/packages.nix +++ b/nix/packages.nix @@ -26,6 +26,7 @@ exclude = [ "nix/" "docs/" + ".github/" "README.md" "default.nix" "shell.nix"