diff --git a/.github/workflows/deploy-web.yml b/.github/workflows/deploy-web.yml index eb0fb5eb3..383c6cd00 100644 --- a/.github/workflows/deploy-web.yml +++ b/.github/workflows/deploy-web.yml @@ -2,7 +2,7 @@ name: Deploy Web to GitHub Pages on: push: - branches: [main, dev] + branches: [main] paths: - 'web/**' workflow_dispatch: diff --git a/docs/ci-map.md b/docs/ci-map.md index f983a2df9..2f912f0f6 100644 --- a/docs/ci-map.md +++ b/docs/ci-map.md @@ -103,6 +103,7 @@ Merge-blocking checks should stay small and deterministic. Optional checks are u - `Workflow Sanity`: PR/push when `.github/workflows/**`, `.github/*.yml`, or `.github/*.yaml` change - `Dependabot`: all update PRs target `main` (not `dev`) - `PR Intake Checks`: `pull_request_target` on opened/reopened/synchronize/ready_for_review +- `PR Intake Checks`: `pull_request_target` on opened/reopened/synchronize/edited/ready_for_review - `Label Policy Sanity`: PR/push when `.github/label-policy.json`, `.github/workflows/pr-labeler.yml`, or `.github/workflows/pr-auto-response.yml` changes - `PR Labeler`: `pull_request_target` on opened/reopened/synchronize/ready_for_review - `PR Auto Responder`: issue opened/labeled, `pull_request_target` opened/labeled