From add0c766325fe3dbc70bc82ff73bbd10419e62a2 Mon Sep 17 00:00:00 2001 From: David Tolnay Date: Wed, 29 Jun 2022 10:13:55 -0700 Subject: [PATCH] Install xargo with miri toolchain --- scripts/update-revs.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh index 29fba00..6dce57b 100755 --- a/scripts/update-revs.sh +++ b/scripts/update-revs.sh @@ -34,9 +34,13 @@ for tool in clippy miri; do echo "Updating $tool branch" git checkout --quiet --detach nightly git branch --quiet --delete --force $tool &>/dev/null || true - default=$tool - if [ $tool == miri ]; then default+=,\ rust-src; fi - sed -i "/required: false/{N;s/\n$/\n default: $default\n/}" action.yml + 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 + sed -i "/required: false/{N;s/\n$/\n default: $tool\n/}" action.yml git add action.yml git commit --quiet --message "components: $tool" git checkout --quiet -b $tool