Skip to content

Commit

Permalink
put miri in separate job
Browse files Browse the repository at this point in the history
  • Loading branch information
thvdveld committed Mar 15, 2024
1 parent 5fec683 commit 8c9bf10
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,14 @@ jobs:
run: cargo clippy --all-features --all-targets

tests:
needs: [build]
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Tests
run: cargo test --verbose

miri:
needs: [build]
runs-on: ubuntu-latest
steps:
Expand All @@ -43,9 +51,6 @@ jobs:
run: |
rustup toolchain install nightly --component miri
cargo +nightly miri setup
- name: Tests
run: cargo test --verbose
- name: Miri
run: cargo +nightly miri test --verbose

Expand Down

0 comments on commit 8c9bf10

Please sign in to comment.