diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml index 65325e22..8cb5d85e 100644 --- a/.gitea/workflows/ci.yml +++ b/.gitea/workflows/ci.yml @@ -10,9 +10,13 @@ # 引入新 Actions 前必须确认其执行器形态(shell/composite 可,node/docker 不可)。 # 闸清单与域划分唯一出处 = tools/run_all_gates.sh(本文件只负责触发与分流,不另列闸件)。 name: ci +# 手动档:workflow_dispatch(网页 Actions 页「Run workflow」按钮,选 master)=重跑语义② +# 「用户自发发起的全量回归」的入口(process-conventions §3 第 9 条)——绕过域分流直跑全量档; +# 点击权归用户,agent 自发触发=人手重跑踩线。 on: push: branches: [master] + workflow_dispatch: jobs: gates: @@ -29,6 +33,7 @@ jobs: - name: 域分流(乙案) id: route + if: github.event_name == 'push' run: | cd "$GITHUB_WORKSPACE/repo" bash tools/ci/domain_route.sh "${{ github.event.before }}" "${{ github.sha }}" @@ -46,11 +51,15 @@ jobs: GDSTYLE_BIN: /usr/local/bin/gdstyle run: | cd "$GITHUB_WORKSPACE/repo" - MODE="${{ steps.route.outputs.mode }}" - case "$MODE" in - full) ARGS="" ;; - gates) ARGS="--gates" ;; - *) ARGS="--docs" ;; - esac - echo "[ci] 域=$MODE 跑闸参数=$ARGS" + if [ "${{ github.event_name }}" = "workflow_dispatch" ]; then + ARGS="" # 手动触发=固定全量档(2026-11-05 用户裁) + else + MODE="${{ steps.route.outputs.mode }}" + case "$MODE" in + full) ARGS="" ;; + gates) ARGS="--gates" ;; + *) ARGS="--docs" ;; + esac + fi + echo "[ci] 事件=${{ github.event_name }} 跑闸参数=$ARGS" bash tools/run_all_gates.sh $ARGS