From 2e96115db77f73cdb9b3989d3bf06b1fd28a4dee Mon Sep 17 00:00:00 2001
From: Manuel Raimann <raimannma@outlook.de>
Date: Fri, 30 Jan 2026 18:09:25 +0100
Subject: [PATCH] refactor: remove Miri job from CI configuration

---
 .github/workflows/ci.yml | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d714ed9..bc6df40 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -146,23 +146,6 @@ jobs:
       - name: Check semver
         run: cargo semver-checks check-release
 
-  miri:
-    name: Miri
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v6
-      - name: Install Rust nightly and Miri
-        run: |
-          rustup toolchain install nightly --component miri
-          rustup override set nightly
-      - uses: Swatinem/rust-cache@v2
-      - name: Setup Miri
-        run: cargo miri setup
-      - name: Run tests under Miri
-        run: cargo miri test
-        env:
-          MIRIFLAGS: -Zmiri-strict-provenance
-
   minimal-versions:
     name: Minimal Versions
     runs-on: ubuntu-latest