just test lib with miri

uuid-rs · Nov 16, 2023 · 6bade3a · 6bade3a
1 parent 3df0aaa
commit 6bade3a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -147,10 +147,10 @@ jobs:
           cargo +nightly miri setup
 
       - name: Default features
-        run: cargo +nightly miri test
+        run: cargo +nightly miri test --lib
 
       - name: BE
-        run: cargo +nightly miri test --target s390x-unknown-linux-gnu
+        run: cargo +nightly miri test --target s390x-unknown-linux-gnu --lib
 
   clippy:
     name: Build / Clippy