ci: disable miri for now

It seems to hang on everything. I can't figure it out.
BurntSushi · Jul 5, 2023 · a7ddce5 · a7ddce5
1 parent 9db5584
commit a7ddce5
Showing 1 changed file with 11 additions and 11 deletions.
diff --git 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