diff --git a/.github/workflows/docs-deploy.yml b/.github/workflows/docs-deploy.yml index 39746f19d3..363b10abf0 100644 --- a/.github/workflows/docs-deploy.yml +++ b/.github/workflows/docs-deploy.yml @@ -26,7 +26,7 @@ jobs: - name: Build Docs working-directory: docs - run: lake build -q Batteries:docs + run: lake build --keep-toolchain -q Batteries:docs - name: Deploy Docs run: | diff --git a/.github/workflows/docs-release.yml b/.github/workflows/docs-release.yml index 2c8a5c57f6..97c93e4575 100644 --- a/.github/workflows/docs-release.yml +++ b/.github/workflows/docs-release.yml @@ -27,7 +27,7 @@ jobs: - name: Build Docs working-directory: docs - run: lake build -q Batteries:docs + run: lake build --keep-toolchain -q Batteries:docs - name: Compress Docs working-directory: docs