diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index e6bd420e..7ca58ebe 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -33,6 +33,8 @@ concurrency: jobs: deny: uses: taiki-e/github-actions/.github/workflows/deny.yml@main + miri: + uses: taiki-e/github-actions/.github/workflows/miri.yml@main msrv: uses: taiki-e/github-actions/.github/workflows/msrv.yml@main with: @@ -100,16 +102,3 @@ jobs: if: startsWith(matrix.rust, 'nightly') - run: cargo hack build --workspace --no-private --feature-powerset --no-dev-deps - run: cargo minimal-versions build --workspace --no-private --detach-path-deps=skip-exact --all-features - - miri: - runs-on: ubuntu-latest - timeout-minutes: 60 - steps: - - uses: taiki-e/github-actions/checkout@main - - name: Install Rust - run: rustup toolchain add nightly --no-self-update --component miri && rustup default nightly - - run: cargo miri test --workspace --all-features - env: - MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation - RUSTDOCFLAGS: ${{ env.RUSTDOCFLAGS }} -Z randomize-layout - RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout