Increase swap for ga

Author: saulshanabrook

.github/workflows/CI.yml

@@ -24,6 +24,11 @@ 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/egglog/exp/array_api_loopnest.py

@@ -131,7 +131,9 @@ def linalg_norm(X: NDArray, axis: TupleIntLike) -> NDArray:  # noqa: N803
 X = NDArray.var("X")
 assume_shape(X, (3, 2, 3, 4))
 val = linalg_norm(X, (0, 1))
-val.shape.to_py()
+egraph.register(val.shape)
+egraph.run(array_api_ruleset.saturate())
+egraph.extract_multiple(val.shape, 10)
 
 # %%
 egraph = EGraph()