Cleanup workflows

.github/workflows/ci.yml

@@ -17,12 +17,8 @@ jobs:
  name: ⏱️ Benchmark
  runs-on: ubuntu-latest
 
- needs:
- - build
-
  steps:
- - uses: actions/checkout@v3
- - uses: Swatinem/[email protected]
+ - uses: actions/checkout@v4
  - name: Run benchmarks
  run: cargo bench --all
 
@@ -31,8 +27,7 @@ jobs:
  runs-on: ubuntu-latest
 
  steps:
- - uses: actions/checkout@v3
- - uses: Swatinem/[email protected]
+ - uses: actions/checkout@v4
  - name: Build (release)
  run: cargo build --all --release
 
@@ -41,8 +36,7 @@ jobs:
  runs-on: ubuntu-latest
 
  steps:
- - uses: actions/checkout@v3
- - uses: Swatinem/[email protected]
+ - uses: actions/checkout@v4
  - name: Run Rustfmt
  run: cargo fmt --all -- --check
 
@@ -51,8 +45,7 @@ jobs:
  runs-on: ubuntu-latest
 
  steps:
- - uses: actions/checkout@v3
- - uses: Swatinem/[email protected]
+ - uses: actions/checkout@v4
  - name: Run Clippy
  run: cargo clippy --all
 
@@ -61,23 +54,24 @@ jobs:
  runs-on: ubuntu-latest
 
  steps:
- - uses: actions/checkout@v3
- - uses: Swatinem/[email protected]
+ - uses: actions/checkout@v4
  - name: Run tests
  run: cargo test --all
 
  test_miri:
- name: 🕵️ Test (Miri)
+ name: 🔬 Test (Miri)
  runs-on: ubuntu-latest
 
  steps:
- - uses: actions/checkout@v3
- - uses: actions-rs/toolchain@v1
- with:
- profile: minimal
- toolchain: nightly
- override: true
- components: miri
- - uses: Swatinem/[email protected]
+ - uses: actions/checkout@v4
+ - name: Setup Miri
+ run: |
+ rustup toolchain install nightly \
+  --profile minimal \
+  --component miri \
+  --component rust-src
+  cargo +nightly miri setup
  - name: Run tests under Miri
+ env:
+ MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check
  run: cargo +nightly miri test --all