Merge pull request #349 from egraphs-good/pre-commit-ci-update-config

saulshanabrook · web-flow · commit 0e36db0b32e4 · 2025-11-03T13:57:43.000-08:00
[pre-commit.ci] pre-commit autoupdate
diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
@@ -1,12 +1,12 @@
 exclude: ^python/tests/__snapshots__/
 repos:
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.12.11
+    rev: v0.14.3
     hooks:
       - id: ruff-check
         args: [--fix]
       - id: ruff-format
   - repo: https://github.com/astral-sh/uv-pre-commit
-    rev: 0.8.14
+    rev: 0.9.7
     hooks:
       - id: uv-lock
diff --git a/python/egglog/egraph.py b/python/egglog/egraph.py
@@ -1883,7 +1883,7 @@ def run(ruleset: Ruleset | None = None, *until: FactLike, scheduler: BackOff | N
         Thunk.fn(Declarations.create, ruleset, *facts),
         RunDecl(
             ruleset.__egg_ident__ if ruleset else Ident(""),
-            tuple(f.fact for f in facts) or None,
+            tuple(f.fact for f in facts),
             scheduler.scheduler if scheduler else None,
         ),
     )

Original file line number	Diff line number	Diff line change
`@@ -1883,7 +1883,7 @@ def run(ruleset: Ruleset \| None = None, *until: FactLike, scheduler: BackOff \| N`
`1883`	`1883`	`Thunk.fn(Declarations.create, ruleset, *facts),`
`1884`	`1884`	`RunDecl(`
`1885`	`1885`	`ruleset.__egg_ident__ if ruleset else Ident(""),`
`1886`		`- tuple(f.fact for f in facts) or None,`
	`1886`	`+ tuple(f.fact for f in facts),`
`1887`	`1887`	`scheduler.scheduler if scheduler else None,`
`1888`	`1888`	`),`
`1889`	`1889`	`)`