Only run one proptest case when using miri

DataDog · Aug 27, 2024 · 24bdc13 · 24bdc13
1 parent 0be5fad
commit 24bdc13
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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