From f9ab56d8a1b8f3b22fa502388f5aeaa0acdb26bb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Wed, 3 Apr 2024 15:51:25 +0200
Subject: [PATCH] ci: allow unused imports with miri
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 29b0a5d..0749170 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -51,6 +51,8 @@ jobs:
           components: rust-src, miri
       - run: cargo miri setup
       - run: cargo miri test
+        env:
+          RUSTFLAGS: -Dwarnings -Aunused-imports
 
   test:
     name: Test