tests/integration: add `c2rust-postprocess` for `json-c`#1569

Open

kkysen wants to merge 7 commits intokkysen/postprocess-fail-slowfrom

kkysen/postprocess-ci-json-c

Commits on Feb 13, 2026

ci: build `split_rust` and `merge_rust` in `internal-testsuite.yml` for `c2rust-postprocess`
kkysen
committed
tests/integration: require `c2rust-postprocess` in `$PATH`
kkysen
committed
tests/integration: add `{cargo,check}.postprocess` stages and enable `cargo.postprocess` for `json-c`
kkysen
committed
postprocess: set the `--project` dir for `uv run` in `c2rust-postprocess` script
kkysen
committed
tests/integration: add `postprocess` stage and enable `postprocess` for `json-c`
kkysen
committed
dbg: only run `json-c`
kkysen
committed
dbg: run `json-c/postprocess.gen.sh`
kkysen
committed