From 4fd23017ce5dc5dcc61b541bd9c076273db38d47 Mon Sep 17 00:00:00 2001 From: Cursor Agent Date: Mon, 3 Aug 2026 18:08:26 +0000 Subject: [PATCH] Disable GitHub Pages deploy on push to main. Pages is published from the gh-pages branch via the local deploy script; keep the workflow for manual workflow_dispatch only. Co-authored-by: John Menke --- .github/workflows/pages.yml | 10 ++++------ docs/demos/TOOLING.md | 2 +- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index ea9c3e7..fe419f4 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -1,12 +1,10 @@ +# Automatic deploy on push is disabled. +# GitHub Pages is published from the `gh-pages` branch via +# `./scripts/deploy-docs-pages-local.sh` (see docs/demos/TOOLING.md). +# Keep this workflow for optional manual runs only. name: Deploy to GitHub Pages on: - push: - branches: - - main - paths: - - 'docs/**' - - '.github/workflows/pages.yml' workflow_dispatch: permissions: diff --git a/docs/demos/TOOLING.md b/docs/demos/TOOLING.md index 2921db7..0ae2f3b 100644 --- a/docs/demos/TOOLING.md +++ b/docs/demos/TOOLING.md @@ -84,7 +84,7 @@ docgen --config docgen.yaml validate ## Manual publish to GitHub Pages -There is **no CI workflow for video generation**. Recordings stay **gitignored on `main`**. +There is **no CI workflow for video generation**, and **Deploy to GitHub Pages** is not triggered on push (manual `workflow_dispatch` only). Recordings stay **gitignored on `main`**. After regenerating locally: