From 83334bceda1bb2847421f71589eeff78aab04315 Mon Sep 17 00:00:00 2001
From: Alex Koshelev <koshelev@meta.com>
Date: Fri, 19 Jan 2024 11:34:42 -0800
Subject: [PATCH] More fixes

The beating will continue until morale improves
---
 .github/workflows/check.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index a9d0d6c55..1d01290d8 100644
--- 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: