From f4fe19df4e2c8623f8c302fb2094abbe01ab560e Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Wed, 29 Jun 2022 10:35:00 -0700
Subject: [PATCH] Fix default components for miri

---
 scripts/update-revs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh
index 6dce57b..dec228d 100755
--- a/scripts/update-revs.sh
+++ b/scripts/update-revs.sh
@@ -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