fix typo

a16z · Aug 27, 2024 · 4a77ff9 · 4a77ff9
1 parent e9a2c36
commit 4a77ff9
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -23,13 +23,13 @@ jobs:
         # TODO: enable after migrating morpho-data-structures tests to use new cheatcode instead of --symbolic-storage
         # - repo: "morpho-org/morpho-data-structures"
         #   dir: "morpho-data-structures"
-        #   cmd: "--function testProve --loop 4
+        #   cmd: "--function testProve --loop 4"
         #   branch: ""
         #   profile: ""
-          # temporary forked repo with updated tests
+        # temporary forked repo with updated tests
           - repo: "daejunpark/morpho-data-structures"
             dir: "morpho-data-structures"
-            cmd: "--function testProve --loop 4
+            cmd: "--function testProve --loop 4"
             branch: "ci/halmos"
             profile: ""
           - repo: "a16z/cicada"