test: disable gc for morpho test (#460)

a16z · Feb 15, 2025 · 5c5ca39 · 5c5ca39
1 parent a233ff3
commit 5c5ca39
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -22,7 +22,7 @@ jobs:
         project:
           - repo: "morpho-org/morpho-data-structures"
             dir: "morpho-data-structures"
-            cmd: "--function testProve --loop 4 --solver-command yices-smt2 --solver-threads 3"
+            cmd: "--function testProve --loop 4 --solver-command yices-smt2 --solver-threads 3 --disable-gc"
             branch: ""
             profile: ""
           - repo: "morpho-org/morpho-blue"