fix: run props tests which require RISC0_DEV_MODE off

This commit is contained in:
Roman 2026-06-22 16:09:37 +08:00
parent 3b2665994c
commit a699899873
No known key found for this signature in database
GPG Key ID: 583BDF43C238B83E

View File

@ -270,6 +270,8 @@ jobs:
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
- run: cargo test -p fuzz_props --release
- name: Run tests which require RISC0_DEV_MODE off.
run: env -u RISC0_DEV_MODE cargo test -p fuzz_props --release synthesized_proof_is_rejected_without_dev_mode
# ── Performance baseline (nightly only) ─────────────────────────────────────
perf-baseline: