From 36ac20923af6698e44fd9ab643dfeeb4e712811c Mon Sep 17 00:00:00 2001
From: Micha Reiser <micha@reiser.io>
Date: Tue, 8 Sep 2026 09:10:03 +0200
Subject: [PATCH] [ty] Rebalance instrumented microbenchmark shards (#28406)

---
 .github/workflows/ci.yaml | 16 ++++++++++++----
 1 file changed, 12 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 6088eed1e5..479902eae7 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1228,13 +1228,21 @@ jobs:
       fail-fast: false
       matrix:
         include:
-          - name: micro
+          - name: micro-a-l
             target: ty
-            filter: micro
+            filter: 'ty_micro\[[a-l]'
             mode: simulation
-          - name: micro
+          - name: micro-m-z
             target: ty
-            filter: micro
+            filter: 'ty_micro\[[^a-l]'
+            mode: simulation
+          - name: micro-a-l
+            target: ty
+            filter: 'ty_micro\[[a-l]'
+            mode: memory
+          - name: micro-m-z
+            target: ty
+            filter: 'ty_micro\[[^a-l]'
             mode: memory
           - name: constraint_set
             target: ty_constraint_set