ci: 分片数跟着工作量走,而不是跟着「是否全量」

linux 分片在 1h30m17s 被取消——正好是 job 上限。没有任何东西坏掉:
一片里排了 grpc-codegen(3563s)与 grpc-module(1701s),装不下。

分片数原本是二元的(全量 linux 3 片,否则 1 片),那等于断言「非全量
就是小活」。并不是:改一个被广泛消费的描述符会选中所有消费者——本次
改 compat.openssl.lua 就选中了四个成员。

tests/member-timings.tsv 早就记着每个成员的实测耗时,plan_shards.lua
也早就按它做 LPT 装箱。所以扇出数就从同一张表来:把本次成员的 linux
耗时求和,每 ~45 分钟一片,上限 3(再多会被 runner 并发与每片固定开销
吃掉,见上方既有测量)。macOS 保持 1 片——它并发就是 1,多分只会串行。

同时把 grpc-codegen 的实测值补进表里(linux 3563 / macos 1715 /
windows 31)。新成员此前没有条目,按中位数估算,正是它被低估的原因。

本机核验:四成员求和 5313s → 2 片,LPT 切成
  shard 0: grpc-codegen              (59min)
  shard 1: grpc-module asio-ssl openssl (29min)

Author: Sunrisepeak

.github/workflows/validate.yml

@@ -404,7 +404,40 @@ jobs:
                      "$1" "$2" "$3" "$4" "$5" "$6" "$i" "$7"
             done
           }
-          if [ "$full" = 1 ]; then ln=3; mn=1; wn=2; else ln=1; mn=1; wn=1; fi
+          # Shard count follows the WORK, not the full/partial flag.
+          #
+          # It used to be binary — full run: linux 3, anything else: linux 1 —
+          # which reads "a partial run is small". It is not: touching a widely
+          # consumed descriptor selects every member that consumes it. This
+          # PR's `pkgs/c/compat.openssl.lua` selected four (grpc-codegen,
+          # grpc-module, asio-ssl, openssl), one shard got all of them, and
+          # linux was cancelled at exactly 1h30m — the job cap — with
+          # grpc-codegen (3563s) and grpc-module (1701s) back to back. Nothing
+          # was broken; the plan just could not fit.
+          #
+          # tests/member-timings.tsv already holds the measured cost of every
+          # member, and plan_shards.lua already packs by it (LPT). So size the
+          # fan-out from the same table: sum this run's members and give linux
+          # a shard per ~45 minutes of work, capped at 3 (above that, runner
+          # concurrency and the per-shard setup eat the gain — see the
+          # measurement in the comment above). macOS stays at 1: its
+          # concurrency is 1, so extra shards there run back to back.
+          if [ "$full" = 1 ]; then
+            ln=3; mn=1; wn=2
+          else
+            secs=$(lua5.4 -e '
+              local want = {}
+              for m in (os.getenv("MEMBERS") or ""):gmatch("%S+") do want[m] = true end
+              local total = 0
+              for line in io.lines("tests/member-timings.tsv") do
+                local p, m, s = line:match("^(%S+)\t(%S+)\t(%d+)$")
+                if p == "linux" and m and want[m] then total = total + tonumber(s) end
+              end
+              print(total)')
+            ln=$(( secs / 2700 + 1 )); [ "$ln" -gt 3 ] && ln=3
+            mn=1; wn=1
+            echo "linux work: ${secs}s (measured) -> $ln shard(s)"
+          fi
           {
             printf '{"include":['
             emit linux   ubuntu-latest  linux-x86_64   tar.gz bin/mcpp     registry/bin/xlings     "$ln"

tests/member-timings.tsv

@@ -28,6 +28,7 @@ linux	godot-cpp	573
 linux	godot-cpp-module	549
 linux	godot-cpp-module-v10	392
 linux	godot-cpp-v10	504
+linux	grpc-codegen	3563
 linux	grpc-module	1701
 linux	gui-stack	81
 linux	imgui	6
@@ -89,6 +90,7 @@ macos	godot-cpp	333
 macos	godot-cpp-module	256
 macos	godot-cpp-module-v10	215
 macos	godot-cpp-v10	230
+macos	grpc-codegen	1715
 macos	grpc-module	880
 macos	gui-stack	1
 macos	imgui	4
@@ -152,6 +154,7 @@ windows	godot-cpp	742
 windows	godot-cpp-module	636
 windows	godot-cpp-module-v10	684
 windows	godot-cpp-v10	566
+windows	grpc-codegen	31
 windows	grpc-module	1
 windows	gui-stack	1
 windows	imgui	6