ci: update morpho test (a16z#377)

ApeWorX · Sep 26, 2024 · 8235b27 · 8235b27
1 parent 20cd93a
commit 8235b27
Showing 1 changed file with 2 additions and 9 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -20,17 +20,10 @@ jobs:
       matrix:
         cache-solver: ["", "--cache-solver"]
         project:
-        # 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"
-        #   branch: ""
-        #   profile: ""
-        # temporary forked repo with updated tests
-          - repo: "daejunpark/morpho-data-structures"
+          - repo: "morpho-org/morpho-data-structures"
             dir: "morpho-data-structures"
             cmd: "--function testProve --loop 4"
-            branch: "ci/halmos"
+            branch: ""
             profile: ""
           - repo: "a16z/cicada"
             dir: "cicada"