Bashy Mc Bashface

Author: oli-obk

src/tools/miri/.github/workflows/ci.yml

@@ -186,6 +186,7 @@ jobs:
           The Miri Cronjobs Bot' \
             --user $ZULIP_BOT_EMAIL --api-key $ZULIP_API_TOKEN --site https://rust-lang.zulipchat.com
       # Attempt to auto-sync with rustc
+      - uses: actions/checkout@v3
       - name: install josh-proxy
         run: cargo +stable install josh-proxy --git https://github.com/josh-project/josh --tag r22.12.06
       - name: start josh-proxy
@@ -196,6 +197,11 @@ jobs:
           git config --global user.email '[email protected]'
       - name: get changes from rustc
         run: ./miri rustc-pull
+      - name: Install rustup-toolchain-install-master
+        if: ${{ steps.cache.outputs.cache-hit != 'true' }}
+        shell: bash
+        run: |
+          cargo install -f rustup-toolchain-install-master
       - name: format changes (if any)
         run: |
           ./miri toolchain