From c24b276127288eaf2115c7a85267e0c09a3896e4 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Sun, 14 Apr 2024 10:48:41 -0700
Subject: [PATCH] Skip xargo installation for miri toolchain
---
scripts/update-revs.sh | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh
index c24b396..c251278 100755
--- a/scripts/update-revs.sh
+++ b/scripts/update-revs.sh
@@ -43,12 +43,8 @@ for tool in clippy miri; do
echo "Updating $tool branch"
git checkout --quiet --detach nightly
git branch --quiet --delete --force $tool &>/dev/null || true
- if [ $tool == miri ]; then
- default="miri, rust-src"
- echo -e " - uses: dtolnay/install@xargo\n with:\n bin: xargo-check" >> action.yml
- else
- default=$tool
- fi
+ default=$tool
+ if [ $tool == miri ]; then default+=,\ rust-src; fi
sed -i "/required: false/{N;s/\n$/\n default: $default\n/}" action.yml
git add action.yml
git commit --quiet --message "components: $tool"