From 8776371ed4cacebd2ff75e71b5a85b2658c1a446 Mon Sep 17 00:00:00 2001 From: Florian Duros Date: Tue, 2 Jul 2024 11:14:44 +0200 Subject: [PATCH 1/3] ci: remove `mdbook-combiner` version --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index e495e87eaa..2aefb39a32 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -60,7 +60,7 @@ jobs: mdbook-version: "0.4.10" - name: Install mdbook extensions - run: cargo install mdbook-combiner@0.1.15 mdbook-mermaid + run: cargo install mdbook-combiner mdbook-mermaid - name: Prepare docs run: | From 83186c040371aa4e6d1db3823a6dae04773cf87d Mon Sep 17 00:00:00 2001 From: Florian Duros Date: Tue, 2 Jul 2024 11:21:17 +0200 Subject: [PATCH 2/3] wip: fake run --- .github/workflows/docs.yml | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 2aefb39a32..82db41ae76 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -2,7 +2,7 @@ name: Deploy documentation on: push: - branches: [develop] + branches: [florianduros/ci/mdbooks] workflow_dispatch: {} permissions: @@ -103,13 +103,13 @@ jobs: with: path: ./book - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 +# deploy: +# environment: +# name: github-pages +# url: ${{ steps.deployment.outputs.page_url }} +# runs-on: ubuntu-latest +# needs: build +# steps: +# - name: Deploy to GitHub Pages +# id: deployment +# uses: actions/deploy-pages@v4 From cdb65233b0c27a08a123d0b7fe8878b8d4aea0dd Mon Sep 17 00:00:00 2001 From: Florian Duros Date: Tue, 2 Jul 2024 11:27:39 +0200 Subject: [PATCH 3/3] Revert "wip: fake run" This reverts commit 83186c040371aa4e6d1db3823a6dae04773cf87d. --- .github/workflows/docs.yml | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 82db41ae76..2aefb39a32 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -2,7 +2,7 @@ name: Deploy documentation on: push: - branches: [florianduros/ci/mdbooks] + branches: [develop] workflow_dispatch: {} permissions: @@ -103,13 +103,13 @@ jobs: with: path: ./book -# deploy: -# environment: -# name: github-pages -# url: ${{ steps.deployment.outputs.page_url }} -# runs-on: ubuntu-latest -# needs: build -# steps: -# - name: Deploy to GitHub Pages -# id: deployment -# uses: actions/deploy-pages@v4 + deploy: + environment: + name: github-pages + url: ${{ steps.deployment.outputs.page_url }} + runs-on: ubuntu-latest + needs: build + steps: + - name: Deploy to GitHub Pages + id: deployment + uses: actions/deploy-pages@v4