diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
index c53768042..5bf9e31f4 100644
--- a/.github/workflows/miri.yml
+++ b/.github/workflows/miri.yml
@@ -7,6 +7,7 @@ jobs:
     runs-on: ubuntu-latest
     env:
       CARGO_TERM_COLOR: always
+      PROPTEST_CASES: 1
     steps:
     - uses: actions/checkout@v4
     - name: Set up Rust