dtolnay/rust-toolchain
1
0
Fork 0
mirror of https://github.com/dtolnay/rust-toolchain.git synced 2026-04-08 17:42:12 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix default components for miri

Browse Source
This commit is contained in:
David Tolnay
2022-06-29 10:35:00 -07:00
parent 6f4de0ad73
commit f4fe19df4e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/update-revs.sh
View File

@@ -40,7 +40,7 @@ for tool in clippy miri; do
else
default=$tool
fi
sed -i "/required: false/{N;s/\n$/\n default: $tool\n/}" action.yml
sed -i "/required: false/{N;s/\n$/\n default: $default\n/}" action.yml
git add action.yml
git commit --quiet --message "components: $tool"
git checkout --quiet -b $tool