From 4297980351fb796639edf1c6065852261288edcc Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Wed, 29 Jun 2022 06:53:02 -0700 Subject: [PATCH] Install precompiled xargo to speed up miri job --- .github/workflows/ci.yml | 3 +++ 1 file changed, 3 insertions(+) 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