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 2d94068 commit 867d95e
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 @@ -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:
Expand Down Expand Up @@ -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

0 comments on commit 867d95e

Please sign in to comment.