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

Merge pull request #39 from dtolnay/minor

Browse source 
Push same commit as both minor and largest patch
This commit is contained in:
David Tolnay 2022-10-25 12:36:16 -07:00 committed by GitHub
commit 03a97c9690
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
scripts/update-revs.sh
View file

@ -14,12 +14,17 @@ patch_releases=(
) )
releases() { releases() {
printf "%s\n" 1.{0..70}{,.0} ${patch_releases[@]} | sort -V printf "%s\n" 1.{0..70}.0 ${patch_releases[@]} | sort -V
} }
base=$(git rev-parse HEAD) base=$(git rev-parse HEAD)
push=() push=()
declare -A minor
for rev in `releases`; do
minor[${rev%.*}]=$rev
done
for rev in `releases` stable beta nightly; do for rev in `releases` stable beta nightly; do
echo "Updating $rev branch" echo "Updating $rev branch"
git checkout --quiet "$base" git checkout --quiet "$base"
@ -29,6 +34,9 @@ for rev in `releases` stable beta nightly; do
git commit --quiet --message "toolchain: $rev" git commit --quiet --message "toolchain: $rev"
git checkout --quiet -b $rev git checkout --quiet -b $rev
push+=("$rev:refs/heads/$rev") push+=("$rev:refs/heads/$rev")
if [ ${minor[${rev%.*}]} == $rev ]; then
push+=("$rev:refs/heads/${rev%.*}")
fi
done done
for tool in clippy miri; do for tool in clippy miri; do