From d720282b228b2d3ca0d6ddb51dc6744625782e18 Mon Sep 17 00:00:00 2001 From: Vitaly Davydov Date: Thu, 16 Oct 2025 17:45:36 +0300 Subject: [PATCH 1/2] Fix doc deployment --- .github/workflows/deploy-docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index bbd10e5..dcfb46d 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -48,4 +48,4 @@ jobs: - name: Deploy to GitHub Pages id: deployment - uses: actions/deploy-pages@v2 + uses: actions/deploy-pages@v4 From dbf218a50caeb028acdbb0720df22593494bbe1f Mon Sep 17 00:00:00 2001 From: Vitaly Davydov Date: Thu, 16 Oct 2025 17:46:26 +0300 Subject: [PATCH 2/2] Set manual doc deployment The docs should be updated when a new release is made. There is no point to update the docs every time when some new changes are merged into the master branch. The proposed change enables manual run of the deployment, that should be run when a new release is issued. --- .github/workflows/deploy-docs.yml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index dcfb46d..75f6de6 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -2,9 +2,7 @@ name: Build and Deploy Docs # Deploy docs only for master on: - push: - branches: - - "master" + workflow_dispatch: # Allow deployment to GitHub Pages permissions: