From 460fe21882dd1ab2ef9033e4f468982987321339 Mon Sep 17 00:00:00 2001
From: DaniPopes <57450786+DaniPopes@users.noreply.github.com>
Date: Tue, 29 Aug 2023 00:02:31 +0200
Subject: [PATCH] Setup cross toolchain for miri

---
 .github/workflows/ci.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 058254f..cd6ecea 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -64,6 +64,10 @@ jobs:
       - uses: dtolnay/rust-toolchain@miri
         with:
           target: ${{ matrix.target }}
+      - uses: taiki-e/setup-cross-toolchain-action@v1
+        with:
+          target: ${{ matrix.target }}
+
       - run: cargo miri setup --target ${{ matrix.target }} ${{ matrix.flags }}
       - run: cargo miri test --target ${{ matrix.target }} ${{ matrix.flags }}