From 9786b34f65a2b6aa52ec11539aaaef9629454975 Mon Sep 17 00:00:00 2001 From: Lukas Harbarth Date: Mon, 22 Jun 2026 13:10:07 +0200 Subject: [PATCH] chore(ci): publish docs after release --- .github/workflows/docs-stable.yml | 4 +--- .github/workflows/release.yml | 11 +++++++++++ 2 files changed, 12 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs-stable.yml b/.github/workflows/docs-stable.yml index b4f34a6a18e..99410c7cedb 100644 --- a/.github/workflows/docs-stable.yml +++ b/.github/workflows/docs-stable.yml @@ -1,9 +1,7 @@ name: Deploy Docs (Stable) on: - release: - types: - - 'released' + workflow_call: workflow_dispatch: jobs: diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 5935dd3652a..583a55f5795 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -203,3 +203,14 @@ jobs: permissions: id-token: write contents: read + + deploy-docs-stable: + needs: [publish, publish-only] + if: | + always() && github.ref_name == 'main' && + (needs.publish.result == 'success' || needs.publish-only.result == 'success') + uses: './.github/workflows/docs-stable.yml' + permissions: + pages: write + id-token: write + contents: write