From efa747adc557020d0f368ff978433bdafcb28f0e Mon Sep 17 00:00:00 2001
From: Nico Loesch <n.loesch@unsw.edu.au>
Date: Mon, 3 Aug 2026 04:31:48 +0000
Subject: [PATCH] Pinning Pygments to <2.20 to fix HtmlFormatter bug

---
 pyproject.toml | 5 ++++-
 uv.lock        | 8 ++++----
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/pyproject.toml b/pyproject.toml
index a92d203..6e4030c 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -58,7 +58,10 @@ dev = [
     "requests>=2.33.0",
     "mkdocs>=1.6.1",
     "mkdocs-mermaid2-plugin",
-    "Pygments>=2.20.0",
+    # Pinned below 2.20 (the current latest): 2.20.0's HtmlFormatter passes filename=None
+    # through to html.escape() and crashes `mkdocs build`. Fix is merged upstream for a
+    # future 2.20.1 but not yet released. https://github.com/pygments/pygments/issues/3076
+    "Pygments>=2.19.1,<2.20",
     "python-dotenv"
 ]
 
diff --git a/uv.lock b/uv.lock
index aa5f456..6c673cd 100644
--- a/uv.lock
+++ b/uv.lock
@@ -620,7 +620,7 @@ requires-dist = [
     { name = "pandas", specifier = ">=2.3.3" },
     { name = "psycopg", extras = ["binary"], marker = "extra == 'postgres'", specifier = ">=3.2" },
     { name = "pyarrow", specifier = ">=23.0.1" },
-    { name = "pygments", marker = "extra == 'dev'", specifier = ">=2.20.0" },
+    { name = "pygments", marker = "extra == 'dev'", specifier = ">=2.19.1,<2.20" },
     { name = "pytest", marker = "extra == 'dev'", specifier = ">=9.0.3" },
     { name = "python-dotenv", marker = "extra == 'dev'" },
     { name = "requests", marker = "extra == 'dev'", specifier = ">=2.33.0" },
@@ -915,11 +915,11 @@ wheels = [
 
 [[package]]
 name = "pygments"
-version = "2.20.0"
+version = "2.19.2"
 source = { registry = "https://pypi.org/simple" }
-sdist = { url = "https://files.pythonhosted.org/packages/c3/b2/bc9c9196916376152d655522fdcebac55e66de6603a76a02bca1b6414f6c/pygments-2.20.0.tar.gz", hash = "sha256:6757cd03768053ff99f3039c1a36d6c0aa0b263438fcab17520b30a303a82b5f", size = 4955991, upload-time = "2026-03-29T13:29:33.898Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/b0/77/a5b8c569bf593b0140bde72ea885a803b82086995367bf2037de0159d924/pygments-2.19.2.tar.gz", hash = "sha256:636cb2477cec7f8952536970bc533bc43743542f70392ae026374600add5b887", size = 4968631, upload-time = "2025-06-21T13:39:12.283Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/f4/7e/a72dd26f3b0f4f2bf1dd8923c85f7ceb43172af56d63c7383eb62b332364/pygments-2.20.0-py3-none-any.whl", hash = "sha256:81a9e26dd42fd28a23a2d169d86d7ac03b46e2f8b59ed4698fb4785f946d0176", size = 1231151, upload-time = "2026-03-29T13:29:30.038Z" },
+    { url = "https://files.pythonhosted.org/packages/c7/21/705964c7812476f378728bdf590ca4b771ec72385c533964653c68e86bdc/pygments-2.19.2-py3-none-any.whl", hash = "sha256:86540386c03d588bb81d44bc3928634ff26449851e99741617ecb9037ee5ec0b", size = 1225217, upload-time = "2025-06-21T13:39:07.939Z" },
 ]
 
 [[package]]