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 c77b3cc54ee81c6ae35869d61d4485b07fe785e6 Mon Sep 17 00:00:00 2001 From: Vitaly Davydov Date: Thu, 16 Oct 2025 17:46:26 +0300 Subject: [PATCH 2/2] Set doc deployment on release publication The docs should be deployed when a new release is publishing. There is no point to deploy the docs every time when the master branch is updated. The proposed change sets automatic doc deployment only on a new release publication or manually. --- .github/workflows/deploy-docs.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index dcfb46d..c4a9466 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -1,10 +1,10 @@ name: Build and Deploy Docs -# Deploy docs only for master +# Deploy docs when a new release is published or manually on: - push: - branches: - - "master" + release: + types: [published] + workflow_dispatch: # Allow deployment to GitHub Pages permissions: