mirror of
https://github.com/dtolnay/rust-toolchain.git
synced 2024-11-25 09:39:32 +01:00
Update update-revs.sh to create clippy and miri branches
This commit is contained in:
parent
314c329137
commit
0566215740
1 changed files with 10 additions and 0 deletions
|
@ -19,4 +19,14 @@ for rev in 1.{0..70}.0 stable beta nightly; do
|
||||||
git checkout --quiet -b $rev
|
git checkout --quiet -b $rev
|
||||||
done
|
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"
|
git checkout --quiet "$base"
|
||||||
|
|
Loading…
Reference in a new issue