CI runs behavior gates; self-host fixpoint is dev-only (jolt-8479)
The self-host byte-fixpoint (make selfhost) only holds on the Chez that minted the seed — CI's Debian Chez emits byte-different output for some constructs (isolated to the dedupe re-mint), so it failed there. The checked-in seed RUNS correctly on any Chez, so CI now runs 'make ci' (corpus/unit/smoke/sci/certify); 'make test' keeps selfhost for local dev. Cross-version emit determinism tracked in jolt-8479.
This commit is contained in:
parent
7d0e2f2b61
commit
9ca30a236d
2 changed files with 15 additions and 4 deletions
5
.github/workflows/tests.yml
vendored
5
.github/workflows/tests.yml
vendored
|
|
@ -35,4 +35,7 @@ jobs:
|
|||
clojure --version
|
||||
|
||||
- name: Gate
|
||||
run: make test
|
||||
# `make ci` runs the behavior gates (corpus/unit/smoke/sci/certify). The
|
||||
# self-host byte-fixpoint (make selfhost) is a dev-machine check — it only
|
||||
# holds on the Chez that minted the seed. See jolt-8479.
|
||||
run: make ci
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue