More fixes

The beating will continue until morale improves
private-attribution · Jan 19, 2024 · 83334bc · 83334bc
1 parent e95bc42
commit 83334bc
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
@@ -164,12 +164,16 @@ jobs:
 
   miri:
     runs-on: ubuntu-latest
+    env:
+      TARGET: x86_64-unknown-linux-gnu
     steps:
     - uses: actions/checkout@v3
     - uses: dtolnay/rust-toolchain@nightly
     - name: Add Miri
       run: rustup component add miri
-    - name: Run seq_join tests with Miri
+    - name: Setup Miri
+      run: cargo miri setup
+    - name: Run seq_join tests
       run: cargo miri test --target $TARGET --lib seq_join --features "multi-threading"
 
   coverage: