diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b706d23b..12242e88 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -54,6 +54,9 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@miri
+      - uses: dtolnay/install@xargo
+        with:
+          bin: xargo-check
       - run: cargo miri test
       - name: Run cargo miri test (32-bit little endian)
         run: cargo miri test --target i686-unknown-linux-gnu