From a6998998738e95c5ace3b978318ebe7940d8e5b3 Mon Sep 17 00:00:00 2001
From: Roman <zajic@zajic.net>
Date: Mon, 22 Jun 2026 16:09:37 +0800
Subject: [PATCH] fix: run props tests which require RISC0_DEV_MODE off

---
 .github/workflows/fuzz.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
index 2d8716b9..b6b096cd 100644
--- a/.github/workflows/fuzz.yml
+++ b/.github/workflows/fuzz.yml
@@ -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: