diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh index adbc70a..8243e1d 100755 --- a/scripts/update-revs.sh +++ b/scripts/update-revs.sh @@ -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"