From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sat, 25 Apr 2026 22:17:33 +0000 (+0200)
Subject: fix miri not being passed the target
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e0c491e9f33c93e338cca3ab6d4d9ee0c2e01ced;p=scryer-prolog.git

fix miri not being passed the target
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1f3d6905..8c118e53 100644
--- 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