From 713dd652b3fabe5a085dcf581a9fca249ad2583b Mon Sep 17 00:00:00 2001 From: David VIEJO Date: Tue, 29 Oct 2024 22:35:41 +0100 Subject: [PATCH 1/2] Fix deploy github pages Signed-off-by: David VIEJO --- .github/workflows/release_web.yml | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/.github/workflows/release_web.yml b/.github/workflows/release_web.yml index 5a43f888..28073cd1 100644 --- a/.github/workflows/release_web.yml +++ b/.github/workflows/release_web.yml @@ -7,11 +7,16 @@ on: jobs: deploy: - name: Deploy to GitHub Pages + name: Deploy to GitHub Page runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 + - name: Setup Node.js + uses: actions/setup-node@v3 + with: + node-version: '22' + - name: Setup Bun uses: oven-sh/setup-bun@v1 with: @@ -28,12 +33,12 @@ jobs: - name: Install dependencies run: | cd website-docs - bun install + yarn install --frozen-lockfile - name: Build Docusaurus website run: | cd website-docs - bun run build + yarn run build - name: Deploy to GitHub Pages uses: peaceiris/actions-gh-pages@v3 From 0e7252c83fec79cf35ed61ab4d55d9049d8350a5 Mon Sep 17 00:00:00 2001 From: David VIEJO Date: Tue, 29 Oct 2024 22:39:02 +0100 Subject: [PATCH 2/2] change leader rotation Signed-off-by: David VIEJO --- website-docs/docs/intro/getting-started-3-0.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website-docs/docs/intro/getting-started-3-0.md b/website-docs/docs/intro/getting-started-3-0.md index 04816776..c5cc053b 100644 --- a/website-docs/docs/intro/getting-started-3-0.md +++ b/website-docs/docs/intro/getting-started-3-0.md @@ -446,7 +446,7 @@ spec: collect_timeout: "1s" sync_on_start: true speed_up_view_change: false - leader_rotation: 2 + leader_rotation: 0 # unspecified decisions_per_leader: 3 request_max_bytes: 0