Skip to content

Commit

Permalink
ci: Use taiki-e/github-actions/.github/workflows/miri.yml reusable wo…
Browse files Browse the repository at this point in the history
…rkflow
  • Loading branch information
taiki-e committed Jan 9, 2024
1 parent 8c6cfbf commit f19afbc
Showing 1 changed file with 2 additions and 13 deletions.
15 changes: 2 additions & 13 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,8 @@ jobs:
uses: taiki-e/github-actions/.github/workflows/deny.yml@main
docs:
uses: taiki-e/github-actions/.github/workflows/docs.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:
Expand Down Expand Up @@ -77,16 +79,3 @@ jobs:
- run: cargo build --manifest-path tests/no-std/Cargo.toml --target thumbv6m-none-eabi
- run: cargo build --manifest-path tests/rust-2015/Cargo.toml --target thumbv6m-none-eabi
- 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

0 comments on commit f19afbc

Please sign in to comment.