Compare commits
2
Commits
937d14a168
...
0ba7209b44
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
0ba7209b44 | ||
|
|
07d9738728 |
+16
-7
@@ -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
|
||||
Reference in new issue
Block a user