Update .github/workflows/update-subtree.yml

model-checking · Mar 3, 2025 · 3617191 · 3617191
1 parent c521566
commit 3617191
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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)