From b6e91745e1d7f3a0122946f32443957f2dea30f2 Mon Sep 17 00:00:00 2001 From: Eugene Hauptmann Date: Tue, 4 Jun 2024 13:20:30 -0400 Subject: [PATCH] moved to rustup toolchain to minimal profile --- .github/workflows/build.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 7ffcd75ca..1a46fb603 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -32,8 +32,9 @@ jobs: - name: install nightly uses: dtolnay/rust-toolchain@nightly with: + profile: minimal targets: ${{ matrix.platform.target }} - components: rust-src, miri + # components: rust-src, miri - name: install webkit2gtk (ubuntu only) if: contains(matrix.platform.target, 'gnu') @@ -70,7 +71,9 @@ jobs: - name: Run tests with miri if: (!contains(matrix.platform.target, 'android') && !contains(matrix.platform.target, 'ios')) - run: cargo +nightly -Z build-std=std,panic_abort miri test --verbose --target ${{ matrix.platform.target }} --features linux-body + run: | + rustup +nightly component add miri + cargo +nightly -Z build-std=std,panic_abort miri test --verbose --target ${{ matrix.platform.target }} --features linux-body doc: runs-on: ubuntu-latest