Merge pull request #10 from ninehusky/ninehusky-actually-fix-ci

Actually fix CI
ninehusky · Oct 15, 2024 · 3b94c94 · 3b94c94
2 parents 19c5a0e + 6f19d64
commit 3b94c94
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -16,6 +16,8 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+      with:
+        submodules: true
     - name: Build
       run: cargo build --verbose
     - name: Run tests

diff --git a/tests/math.rs b/tests/math.rs
@@ -270,10 +270,6 @@ fn add_predicates_to_egraph(
             .as_str();
         }
         egraph.parse_and_run_program(None, &add_preds_prog).unwrap();
-        let serialized = egraph.serialize(egglog::SerializeConfig::default());
-        serialized
-            .to_svg_file("new_math_pred_eclasses.svg")
-            .unwrap();
     }
 }
 
@@ -479,7 +475,4 @@ fn math_eval() {
             "(check (= (eclass (Num 1)) (eclass (MathOp2 (Div) (Num 1) (Num 1)))))",
         )
         .unwrap();
-
-    let serialized = egraph.serialize(egglog::SerializeConfig::default());
-    serialized.to_svg_file("new_math.svg").unwrap();
 }