From bd00b7b481b529296d4abb85fe827b5dbbb8c09a Mon Sep 17 00:00:00 2001
From: Alec Larsen <hello@alec.ninja>
Date: Wed, 12 Jun 2024 22:53:26 -0700
Subject: [PATCH] Cleanup workflows

---
 .github/workflows/ci.yml | 38 ++++++++++++++++----------------------
 1 file changed, 16 insertions(+), 22 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0116679..bd79ce5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,12 +17,8 @@ jobs:
     name: ⏱️ Benchmark
     runs-on: ubuntu-latest
 
-    needs:
-      - build
-
     steps:
-      - uses: actions/checkout@v3
-      - uses: Swatinem/rust-cache@v2.7.3
+      - 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/rust-cache@v2.7.3
+      - 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/rust-cache@v2.7.3
+      - 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/rust-cache@v2.7.3
+      - 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/rust-cache@v2.7.3
+      - 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/rust-cache@v2.7.3
+      - 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
\ No newline at end of file