diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml index 582ec6c..52343f2 100644 --- a/.github/workflows/rust.yml +++ b/.github/workflows/rust.yml @@ -108,7 +108,7 @@ jobs: runs-on: ubuntu-latest env: RUSTFLAGS: "-Zrandomize-layout" - MIRIFLAGS: "-Zmiri-symbolic-alignment-check -Zmiri-check-number-validity -Zmiri-tag-raw-pointers" + MIRIFLAGS: "" steps: - uses: actions/checkout@v2 with: diff --git a/rust-toolchain.toml b/rust-toolchain.toml index b8a86d8..56517c4 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -1,3 +1,3 @@ [toolchain] -channel = "nightly-2021-12-22" -components = ["miri"] \ No newline at end of file +channel = "nightly-2022-09-15" +components = ["clippy", "miri"] \ No newline at end of file