From d98b95893e9c0878624612f3938eb7165553f778 Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Mon, 3 Nov 2025 20:27:39 +0000
Subject: [PATCH 1/2] [pre-commit.ci] pre-commit autoupdate
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

updates:
- [github.com/astral-sh/ruff-pre-commit: v0.12.11 → v0.14.3](https://github.com/astral-sh/ruff-pre-commit/compare/v0.12.11...v0.14.3)
- [github.com/astral-sh/uv-pre-commit: 0.8.14 → 0.9.7](https://github.com/astral-sh/uv-pre-commit/compare/0.8.14...0.9.7)
---
 .pre-commit-config.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml
index 56c6de1f..dca3c646 100644
--- 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

From 4cb65998142eda25ae9d683552835fa2f89b237d Mon Sep 17 00:00:00 2001
From: "pre-commit-ci[bot]"
 <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Date: Mon, 3 Nov 2025 20:27:46 +0000
Subject: [PATCH 2/2] [pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci
---
 python/egglog/egraph.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/egglog/egraph.py b/python/egglog/egraph.py
index 819248d0..29fc108c 100644
--- 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,
         ),
     )