diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 13cf474..c1dc146 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -77,12 +77,12 @@ jobs: - uses: dtolnay/rust-toolchain@clippy - run: cargo clippy -- -Dclippy::all -Dclippy::pedantic - miri: - name: Miri - runs-on: ubuntu-latest - timeout-minutes: 45 - steps: - - uses: actions/checkout@v4 - - uses: dtolnay/rust-toolchain@miri - - run: cargo miri setup - - run: cargo miri test + # miri: + # name: Miri + # runs-on: ubuntu-latest + # timeout-minutes: 45 + # steps: + # - uses: actions/checkout@v4 + # - uses: dtolnay/rust-toolchain@miri + # - run: cargo miri setup + # - run: cargo miri test