Merge branch 'master' into constitution-split

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