actions/rust-toolchain
0
0
Fork 0
mirror of https://github.com/dtolnay/rust-toolchain.git synced 2024-09-21 08:03:27 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #7 from dtolnay/tools

Browse source 
Update update-revs.sh to create clippy and miri branches
This commit is contained in:
David Tolnay 2022-04-24 18:59:00 -07:00 committed by GitHub
parent 314c329137 0566215740
commit 88e7c2e1da
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
scripts/update-revs.sh
View file

@ -19,4 +19,14 @@ for rev in 1.{0..70}.0 stable beta nightly; do
git checkout --quiet -b $rev
done
for tool in clippy miri; do
echo "Updating $tool branch"
git checkout --quiet --detach nightly
git branch --quiet --delete --force $tool &>/dev/null || true
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
done
git checkout --quiet "$base"