actions/rust-toolchain
0
0
Fork 0
mirror of https://github.com/dtolnay/rust-toolchain.git synced 2024-11-14 05:26:34 +02:00
Code Issues Projects Releases Packages Wiki Activity

Skip xargo installation for miri toolchain

Browse source
This commit is contained in:
David Tolnay 2024-04-14 10:48:41 -07:00
parent 7164405e86
commit c24b276127
No known key found for this signature in database
GPG key ID: F9BA143B95FF6D82
1 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
scripts/update-revs.sh
View file

@ -43,12 +43,8 @@ for tool in clippy miri; do
echo "Updating $tool branch" echo "Updating $tool branch"
git checkout --quiet --detach nightly git checkout --quiet --detach nightly
git branch --quiet --delete --force $tool &>/dev/null || true git branch --quiet --delete --force $tool &>/dev/null || true
if [ $tool == miri ]; then default=$tool
default="miri, rust-src" if [ $tool == miri ]; then default+=,\ rust-src; fi
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: $default\n/}" action.yml sed -i "/required: false/{N;s/\n$/\n default: $default\n/}" action.yml
git add action.yml git add action.yml
git commit --quiet --message "components: $tool" git commit --quiet --message "components: $tool"