ci: use temp forked repo for updated tests (#357)

a16z · Aug 27, 2024 · d435211 · d435211
1 parent 5515db7
commit d435211
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -23,9 +23,15 @@ 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
+          - repo: "daejunpark/morpho-data-structures"
+            dir: "morpho-data-structures"
+            cmd: "--function testProve --loop 4"
+            branch: "ci/halmos"
+            profile: ""
           - repo: "a16z/cicada"
             dir: "cicada"
             cmd: "--contract LibUint1024Test --function testProve --loop 256"