From 52d5d763d545bcd027806b5eced5d590440e0561 Mon Sep 17 00:00:00 2001 From: Anfimov Dima Date: Sun, 26 Oct 2025 15:34:30 +0100 Subject: [PATCH 1/4] ci: fix documentation release --- .github/workflows/release_docs.yml | 20 ++++++-------------- 1 file changed, 6 insertions(+), 14 deletions(-) diff --git a/.github/workflows/release_docs.yml b/.github/workflows/release_docs.yml index ab44787..2120ace 100644 --- a/.github/workflows/release_docs.yml +++ b/.github/workflows/release_docs.yml @@ -8,7 +8,7 @@ on: type: string pull_request: - types: [closed] + # types: [closed] branches: [ main ] permissions: @@ -19,18 +19,8 @@ jobs: if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }} runs-on: ubuntu-latest steps: - - name: Checkout merge commit (auto on merge to main) - if: ${{ github.event_name == 'pull_request' }} - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0 + - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0 with: - ref: ${{ github.event.pull_request.merge_commit_sha }} - persist-credentials: false - - - name: Checkout PR merge ref (manual on PR) - if: ${{ github.event_name == 'workflow_dispatch' }} - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0 - with: - ref: refs/pull/${{ inputs.pr }}/merge persist-credentials: false - name: Configure Git Credentials @@ -43,5 +33,7 @@ jobs: enable-cache: true python-version: "3.12" version: "latest" - - run: uv sync --only-dev - - run: uv run mkdocs gh-deploy --force + - name: Install Dependencies + run: uv sync --only-group docs + - name: Deploy Docs + run: uv run mkdocs gh-deploy --force From 84ce91ae016d0fac5048da4d0f80b5e9a36759a4 Mon Sep 17 00:00:00 2001 From: Anfimov Dima Date: Sun, 26 Oct 2025 15:36:04 +0100 Subject: [PATCH 2/4] ci: persist credentials to run deploy --- .github/workflows/release_docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release_docs.yml b/.github/workflows/release_docs.yml index 2120ace..7fea1d5 100644 --- a/.github/workflows/release_docs.yml +++ b/.github/workflows/release_docs.yml @@ -21,7 +21,7 @@ jobs: steps: - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0 with: - persist-credentials: false + persist-credentials: true - name: Configure Git Credentials run: | From e7d1620762a0caeb3f0cfd4ee19a7fef700d1021 Mon Sep 17 00:00:00 2001 From: Anfimov Dima Date: Sun, 26 Oct 2025 15:38:05 +0100 Subject: [PATCH 3/4] ci: delete workflow_dispatch section --- .github/workflows/release_docs.yml | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/.github/workflows/release_docs.yml b/.github/workflows/release_docs.yml index 7fea1d5..fc2d97e 100644 --- a/.github/workflows/release_docs.yml +++ b/.github/workflows/release_docs.yml @@ -1,12 +1,5 @@ name: Release docs on: - workflow_dispatch: - inputs: - pr: - description: Pull request number to release docs for - required: true - type: string - pull_request: # types: [closed] branches: [ main ] @@ -16,7 +9,7 @@ permissions: jobs: deploy: - if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }} + # if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }} runs-on: ubuntu-latest steps: - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0 From e91beb23784a2157030aacfda8eb4fbec9d9f10d Mon Sep 17 00:00:00 2001 From: Anfimov Dima Date: Sun, 26 Oct 2025 15:40:20 +0100 Subject: [PATCH 4/4] ci: final version of docs release pipeline --- .github/workflows/release_docs.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/release_docs.yml b/.github/workflows/release_docs.yml index fc2d97e..4321a3d 100644 --- a/.github/workflows/release_docs.yml +++ b/.github/workflows/release_docs.yml @@ -1,7 +1,7 @@ name: Release docs on: pull_request: - # types: [closed] + types: [closed] branches: [ main ] permissions: @@ -9,7 +9,7 @@ permissions: jobs: deploy: - # if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }} + if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }} runs-on: ubuntu-latest steps: - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0