Skip some slow tests

Author: saulshanabrook

.github/workflows/CI.yml

@@ -24,11 +24,6 @@ jobs:
           - "3.11"
           - "3.10"
     steps:
-      # https://github.com/actions/runner/issues/2468#issuecomment-1651313943
-      - name: Set Swap Space
-        uses: pierotofy/set-swap-space@master
-        with:
-          swap-size-gb: 10
       - uses: actions/checkout@v4
       - uses: dtolnay/[email protected]
       - uses: Swatinem/rust-cache@v2

python/tests/__snapshots__/test_bindings/TestEGraph.test_parse_program.py

@@ -119,4 +119,4 @@
             ),
         )
     ),
-]
+]

python/tests/test_bindings.py

@@ -27,14 +27,19 @@ def get_egglog_folder() -> pathlib.Path:
 
 EGG_SMOL_FOLDER = get_egglog_folder()
 
-SLOW_TESTS = ["repro-unsound"]
+# > 1 second
+SLOW_TESTS = ["repro-unsound", "cykjson", "herbie", "lambda"]
+
+# > 2 seconds
+SKIP_TESTS = {"eggcc-extraction", "math-microbenchmark", "python_array_optimize", "typeinfer"}
 
 
 @pytest.mark.parametrize(
     "example_file",
     [
         pytest.param(path, id=path.stem, marks=pytest.mark.slow if path.stem in SLOW_TESTS else [])
         for path in (EGG_SMOL_FOLDER / "tests").glob("*.egg")
+        if path.stem not in SKIP_TESTS
     ],
 )
 def test_example(example_file: pathlib.Path):