From a7ddce56162a6009a69795daa92f735ce71cb043 Mon Sep 17 00:00:00 2001
From: Andrew Gallant <jamslam@gmail.com>
Date: Wed, 5 Jul 2023 10:49:10 -0400
Subject: [PATCH] ci: disable miri for now

It seems to hang on everything. I can't figure it out.
---
 .github/workflows/ci.yml | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 21b2a15..986bf5e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -98,14 +98,14 @@ jobs:
     - name: Check formatting
       run: cargo fmt --check
 
-  miri:
-    name: miri
-    runs-on: ubuntu-latest
-    steps:
-    - name: Checkout repository
-      uses: actions/checkout@v3
-    - name: Install Rust
-      uses: dtolnay/rust-toolchain@miri
-    - run: cargo miri test --lib --verbose
-      env:
-        MIRIFLAGS: -Zmiri-strict-provenance
+#   miri:
+#     name: miri
+#     runs-on: ubuntu-latest
+#     steps:
+#     - name: Checkout repository
+#       uses: actions/checkout@v3
+#     - name: Install Rust
+#       uses: dtolnay/rust-toolchain@miri
+#     - run: cargo miri test --lib --verbose
+#       env:
+#         MIRIFLAGS: -Zmiri-strict-provenance