From 7a0c00ab6f45ec42e231522a795a715f3304b4d7 Mon Sep 17 00:00:00 2001 From: Jonathan Kelley Date: Fri, 30 Dec 2022 14:47:06 -0500 Subject: [PATCH] fix: dont install master miri --- .github/workflows/miri.yml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index ac6482b29..2c78bdcab 100644 --- a/.github/workflows/miri.yml +++ b/.github/workflows/miri.yml @@ -68,14 +68,14 @@ jobs: shell: bash run: | cargo install -f rustup-toolchain-install-master - - name: Install "master" toolchain - shell: bash - run: | - if [[ ${{ github.event_name }} == 'schedule' ]]; then - echo "Building against latest rustc git version" - git ls-remote https://github.com/rust-lang/rust/ HEAD | cut -f 1 > rust-version - fi - ./miri toolchain --host ${{ matrix.host_target }} + # - name: Install "master" toolchain + # shell: bash + # run: | + # if [[ ${{ github.event_name }} == 'schedule' ]]; then + # echo "Building against latest rustc git version" + # git ls-remote https://github.com/rust-lang/rust/ HEAD | cut -f 1 > rust-version + # fi + # toolchain --host ${{ matrix.host_target }} - name: Show Rust version run: | rustup show