Merge pull request #16 from dtolnay/xargo

Install xargo with miri toolchain
This commit is contained in:
David Tolnay 2022-06-29 10:31:15 -07:00 committed by GitHub
commit 6f4de0ad73
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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