From a72362d0ded6f2e5435fb1a0db047586dd7f6e61 Mon Sep 17 00:00:00 2001 From: hyperpolymath <6759885+hyperpolymath@users.noreply.github.com> Date: Wed, 3 Jun 2026 00:36:08 +0100 Subject: [PATCH] ci: name the IR-level round-trip corpus step explicitly (refs #130) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The corpus property test at `crates/typed-wasm-codegen/tests/corpus.rs` (512 deterministically-generated IR modules; each asserts `verify_from_module(emit(m)) == OK`) already runs as part of `cargo test --workspace`, but it's not named so a regression surfaces as an opaque workspace-test failure. Adds an explicit, named step right after the workspace test invocation that re-runs the corpus alone. The double-run cost is ~0.06s (the test binary is already built) and the value is "regression in the verify(emit(m)) loop has a clearly-named CI failure." Surface-`.twasm` round-trip is OUT OF SCOPE — blocked on the front-end → IR seam (#127). This is the cheap-wire half of #130 only. Refs #130, refs #127. Co-Authored-By: Claude Opus 4.7 (1M context) --- .github/workflows/e2e.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/e2e.yml b/.github/workflows/e2e.yml index f5b684b..51180c6 100644 --- a/.github/workflows/e2e.yml +++ b/.github/workflows/e2e.yml @@ -214,3 +214,12 @@ jobs: - name: Cargo test (workspace) run: cargo test --workspace --locked + + # Explicit named step for the IR-level round-trip corpus (#130). + # Already covered by the workspace test above, but naming it + # explicitly makes any regression in the verify(emit(m)) loop + # surface as a clearly-named failure. Surface .twasm corpus is + # blocked on the front-end → IR seam (#127); this is the cheap-wire + # half of #130. + - name: Round-trip soundness corpus (IR-level slice — refs #130) + run: cargo test --test corpus -p typed-wasm-codegen --locked