From 3bde511c1eefb022443dd9efbbf55858ec865103 Mon Sep 17 00:00:00 2001
From: David Sagan <dcs16@cornell.edu>
Date: Mon, 15 Jul 2024 23:52:21 -0400
Subject: [PATCH] Correction2.

---
 .github/workflows/ci.yml      | 6 +++---
 .github/workflows/release.yml | 8 ++++----
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a02e4bf8c0..34afaa6ff0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -68,9 +68,9 @@ jobs:
       - name: Move External Dependencies
         run: |
           for dep in ~/external_packages/*; \
-          do if [ $dep != "README.md" ] ; \
-            then cp -r $dep $GITHUB_WORKSPACE/ ; \
-						fi ; \
+          do if [ $dep != "README.md" ]; \
+            then cp -r $dep $GITHUB_WORKSPACE/; \
+						fi; \
           done
 
       #
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 6a52a7f5f1..161178a5b3 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -51,10 +51,10 @@ jobs:
       - name: Move External packages
         run: |
           echo "GITHUB_WORKSPACE: $GITHUB_WORKSPACE"
-          for dep in ~/external_packages/* ; \
-          do if [ $dep != "README.md" ] ; \
-            then cp -r $dep $GITHUB_WORKSPACE/ ; \
-						fi ; \
+          for dep in ~/external_packages/*; \
+          do if [ $dep != "README.md" ]; \
+            then cp -r $dep $GITHUB_WORKSPACE/; \
+						fi; \
           done
 
       - name: Assemble Tarball