Merge pull request #106 from dtolnay/noxargo

Skip xargo installation for miri toolchain
dtolnay · Apr 14, 2024 · 9a6ad42 · 9a6ad42
2 parents 7164405 + c24b276
commit 9a6ad42
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh
@@ -43,12 +43,8 @@ for tool in clippy miri; do
     echo "Updating $tool branch"
     git checkout --quiet --detach nightly
     git branch --quiet --delete --force $tool &>/dev/null || true
-    if [ $tool == miri ]; then
-        default="miri, rust-src"
-        echo -e "    - uses: dtolnay/install@xargo\n      with:\n        bin: xargo-check" >> action.yml
-    else
-        default=$tool
-    fi
+    default=$tool
+    if [ $tool == miri ]; then default+=,\ rust-src; fi
     sed -i "/required: false/{N;s/\n$/\n    default: $default\n/}" action.yml
     git add action.yml
     git commit --quiet --message "components: $tool"