actions/rust-toolchain
actions/rust-toolchain
3
0
Fork 0
mirror of https://github.com/dtolnay/rust-toolchain.git synced 2024-11-25 17:49:31 +01:00
Code Issues Projects Activity Pipelines

Merge pull request #15 from dtolnay/rustsrc

Browse source 
Install rust-src component by default for miri toolchain
This commit is contained in:
David Tolnay 2022-06-29 09:41:21 -07:00 committed by GitHub
commit e2fb672640
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
scripts/update-revs.sh
View file

@ -34,7 +34,9 @@ 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
sed -i "/required: false/{N;s/\n$/\n default: $tool\n/}" action.yml 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 add action.yml
git commit --quiet --message "components: $tool" git commit --quiet --message "components: $tool"
git checkout --quiet -b $tool git checkout --quiet -b $tool