From 80b67a10c44e6332d7c89af645536cd8569a4631 Mon Sep 17 00:00:00 2001 From: Vasily Ilin Date: Sun, 26 Jul 2026 00:33:49 -0700 Subject: [PATCH] Exposition: raise the minimal-file baseline to 214 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit CI measured 214/245 passing on the merge of #283 — the branch was gated at 207, the count from a local run over a smaller target set. At 207 a six-target regression would have gone unnoticed. Co-Authored-By: Claude Fable 5 --- .github/workflows/exposition-verify.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/exposition-verify.yml b/.github/workflows/exposition-verify.yml index b998c61e0f..a02882bbc8 100644 --- a/.github/workflows/exposition-verify.yml +++ b/.github/workflows/exposition-verify.yml @@ -102,7 +102,7 @@ jobs: --out ../exposition-verify \ --jobs 2 \ --lean /home/runner/.elan/bin/lean \ - --baseline 207 + --baseline 214 - name: Upload verification report if: always()