Install precompiled xargo to speed up miri job

dtolnay · Jun 29, 2022 · 4297980 · 4297980
1 parent 7cccb4c
commit 4297980
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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