Remove -Zmiri-tag-raw-pointers

Miri seems to not understand it: ``` error: unknown unstable option: `miri-tag-raw-pointers` ``` https://github.com/stepancheg/rust-protobuf/actions/runs/9098278159/job/25008106075?pr=726
stepancheg · Jun 16, 2024 · aadcdb2 · aadcdb2
1 parent 16c9dc5
commit aadcdb2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -220,7 +220,6 @@ jobs:
         env:
             RUST_BACKTRACE: 1
             RUST_TEST_THREADS: 1
-            MIRIFLAGS: -Zmiri-tag-raw-pointers
         steps:
             - name: Checkout sources
               uses: actions/checkout@v2

diff --git a/ci-gen/src/main.rs b/ci-gen/src/main.rs
@@ -190,7 +190,7 @@ fn miri_test_job() -> Job {
     let env = vec![
         ("RUST_BACKTRACE".to_owned(), "1".to_owned()),
         ("RUST_TEST_THREADS".to_owned(), "1".to_owned()),
-        ("MIRIFLAGS".to_owned(), "-Zmiri-tag-raw-pointers".to_owned()),
+        // ("MIRIFLAGS".to_owned(), "-Zmiri-tag-raw-pointers".to_owned()),
     ];
     Job {
         id,