diff --git a/.github/workflows/update-subtree.yml b/.github/workflows/update-subtree.yml
index 6126c2288031..ffa503242f89 100644
--- a/.github/workflows/update-subtree.yml
+++ b/.github/workflows/update-subtree.yml
@@ -96,7 +96,8 @@ jobs:
         git remote add rust-filtered ../rust-tmp/
         git fetch rust-filtered
         git checkout -b subtree/library rust-filtered/subtree/library
-        # The filter-subtree operation adds an extraneous `library/` folder containing the submodules (c.f. https://github.com/model-checking/verify-rust-std/issues/249), so remove that before committing.
+        # The filter-subtree operation adds an extraneous `library/` folder containing the submodules
+        # (c.f. https://github.com/model-checking/verify-rust-std/issues/249), so remove that before committing.
         rm -rf library
         SUBTREE_HEAD_MSG=$(git log --format=%s -n 1 origin/subtree/library)
         UPSTREAM_FROM=$(git log --grep="${SUBTREE_HEAD_MSG}" -n 1 --format=%H rust-filtered/subtree/library)