From 6bade3ae597ae18b53b7e480d9a0d510799cab0f Mon Sep 17 00:00:00 2001
From: KodrAus <kodraus@hey.com>
Date: Thu, 16 Nov 2023 12:16:31 +1000
Subject: [PATCH] just test lib with miri

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dc54b911..3a1fc559 100644
--- 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