diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/release.yml | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 9ffef369..323d2bca 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -352,3 +352,14 @@ jobs: git add website/latest.json docs/next/product-announcement.json git diff --cached --quiet || git commit -m "docs: update website manifest for v$VERSION" git push origin master + + - name: Trigger website deploy + env: + DEPLOY_HOOK: ${{ secrets.CLOUDFLARE_PAGES_DEPLOY_HOOK }} + run: | + if [ -z "$DEPLOY_HOOK" ]; then + echo "CLOUDFLARE_PAGES_DEPLOY_HOOK not set; relying on Cloudflare git auto-deploy" + exit 0 + fi + curl -fsS -X POST "$DEPLOY_HOOK" > /dev/null + echo "Triggered Cloudflare Pages production deploy" |