From f6416dc1d9a9f530941a48917c68dd8ba8d657e7 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 30 Mar 2026 22:03:25 +0000
Subject: [PATCH 1/2] Initial plan


From 333e6a3d719616fb9b89fddf2fa633bc75f33bde Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 30 Mar 2026 22:03:57 +0000
Subject: [PATCH 2/2] Update RTD build image from ubuntu-20.04 to ubuntu-24.04

Agent-Logs-Url: https://github.com/egraphs-good/egglog-python/sessions/64f82f3b-6fe6-4d43-9e5e-958a34556ca1

Co-authored-by: saulshanabrook <1186124+saulshanabrook@users.noreply.github.com>
---
 .readthedocs.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.readthedocs.yaml b/.readthedocs.yaml
index 3212c061..5a971056 100644
--- a/.readthedocs.yaml
+++ b/.readthedocs.yaml
@@ -7,7 +7,7 @@ version: 2
 
 # Set the version of Python and other tools you might need
 build:
-  os: ubuntu-20.04
+  os: ubuntu-24.04
   tools:
     python: "3.12"
     #     # You can also specify other tool versions: