Merge branch '7.0.x'

This commit is contained in:
Brian Clozel
2026-07-31 18:52:03 +02:00
3 changed files with 3 additions and 3 deletions
@@ -60,7 +60,7 @@ jobs:
- name: Run Deploy Docs Workflow - name: Run Deploy Docs Workflow
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: gh workflow run deploy-docs.yml --repo ${{ github.repository }} -r docs-build -f build-sha=${{ github.sha }} -f build-refname=${{ github.ref_name }} -f build-version=${{ needs.build-and-deploy-snapshot.outputs.version }} run: gh workflow run deploy-docs.yml --repo ${{ github.repository }} -r docs-build -f build-refname=${{ github.ref_name }}
verify: verify:
name: Verify name: Verify
needs: build-and-deploy-snapshot needs: build-and-deploy-snapshot
+1 -1
View File
@@ -21,7 +21,7 @@ jobs:
- name: Run Deploy Docs Workflow - name: Run Deploy Docs Workflow
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: gh workflow run deploy-docs.yml --repo ${{ github.repository }} -r docs-build -f build-refname=${{ github.ref_name }} -f build-version=${{ steps.version.outputs.version }} run: gh workflow run deploy-docs.yml --repo ${{ github.repository }} -r docs-build -f build-refname=${{ github.ref_name }}
create-github-release: create-github-release:
name: Create GitHub Release name: Create GitHub Release
needs: needs:
+1 -1
View File
@@ -20,7 +20,7 @@ jobs:
- name: Run Deploy Docs Workflow - name: Run Deploy Docs Workflow
env: env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: gh workflow run deploy-docs.yml --repo ${{ github.repository }} -r docs-build -f build-refname=${{ github.ref_name }} -f build-version=${{ steps.version.outputs.version }} run: gh workflow run deploy-docs.yml --repo ${{ github.repository }} -r docs-build -f build-refname=${{ github.ref_name }}
create-github-release: create-github-release:
name: Create GitHub Release name: Create GitHub Release
needs: needs: