Skip to content

Commit

Permalink
Rename tasks in actions.
Browse files Browse the repository at this point in the history
  • Loading branch information
WhyAreAllTheseTaken committed Jan 15, 2024
1 parent ba80593 commit 721c87d
Showing 1 changed file with 4 additions and 6 deletions.
10 changes: 4 additions & 6 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ env:

jobs:
build:
name: "Build"
name: "Test"
runs-on: ubuntu-latest

steps:
Expand All @@ -21,17 +21,15 @@ jobs:
- name: Run tests
run: cargo test --all-features --verbose
miri:
name: "Miri"
name: "Miri Analysis"
runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v3
- name: Install Miri
- name: Setup Miri
run: |
rustup toolchain install nightly --component miri
cargo +nightly miri setup
- name: Rebuild
run: cargo clean
- name: Test with Miri
run: cargo +nightly miri test --all-targets
run: cargo +nightly miri test --all-targets --verbose

0 comments on commit 721c87d

Please sign in to comment.