Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 0 additions & 7 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -88,13 +88,6 @@ jobs:
run: |
set -o pipefail
opam exec -- dune runtest 2>&1 | tee runtest.log
# ── TEMPORARY DIAGNOSTIC (removed before merge) ───────────────────────
# Republishes the failure + a downstream probe as annotations, so the
# result is readable through the API rather than the Actions log UI.
- name: "[diag] surface runtest failure and probe downstream"
if: always()
run: bash tools/ci/diag-probe.sh
# ─────────────────────────────────────────────────────────────────────
- name: Consumer on-ramp example (issue #771)
# The consumer-facing contract this project owes its downstream
# readers: a host surface declared with `extern fn`, compiled to
Expand Down
18 changes: 0 additions & 18 deletions .github/workflows/zz-probe-a.yml

This file was deleted.

23 changes: 0 additions & 23 deletions .github/workflows/zz-probe-b.yml

This file was deleted.

2 changes: 1 addition & 1 deletion test/test_e2e.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1084,7 +1084,7 @@ let test_empty_match_arm_block_parses () =
The issue's repro additionally put the `match` in NON-final statement
position *without* a `;`, and reported the resulting failure at the
`}` that closes the `match`. Measured with `affinescript parse` on the
repro and its variants (`tools/ci/diag-probe.sh`, 2026-10-03):
repro and its variants (2026-10-03):
- empty arm, `match` FINAL in the block -> parses
- empty arm, `match` mid-block, no `;` -> fails AT the match's `}`
- empty arm, `match` mid-block, with `;` -> parses
Expand Down
254 changes: 0 additions & 254 deletions tools/ci/diag-probe.sh

This file was deleted.

Loading