fix miri not being passed the target

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1f3d6905f278e6c053dd462f95066f9f41f8cc07..8c118e539a91d39b81d04a5a78a9141e6de72d43 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -93,7 +93,7 @@ jobs:
 
       - name: Check miri
         if: matrix.miri
-        run: cargo miri test ${{ matrix.args }}
+        run: cargo miri test --target ${{ matrix.target }} ${{ matrix.args }}
 
       # On stable rust builds, build a binary and publish as a github actions
       # artifact. These binaries could be useful for testing the pipeline but