From 3d6f7abd2a4b2fb6dc3134dcd3e2bd11e089bd42 Mon Sep 17 00:00:00 2001
From: Callan McGill <callan.mcgill@codemetal.ai>
Date: Thu, 16 Jul 2026 16:56:28 -0400
Subject: [PATCH 1/2] Bump Strata/StrataDDM lake-manifest pins

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 433741e..732ad74 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "7b40c42a9f279ef6aaa9000cfd8d728476c953fa",
+   "rev": "499ef9055df645e915d5f0504c0a439afaf569ff",
    "name": "Strata",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "fbd9f71d6f03f56d71dc0ea4c40fcca7f4ebb6f8",
+   "rev": "4ea13cd3ef6e6e0bc70629ef818155c808c47320",
    "name": "StrataDDM",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

From 95ae4c226b87571320c6d96c27150d4d92e0b2cb Mon Sep 17 00:00:00 2001
From: Callan McGill <callan.mcgill@codemetal.ai>
Date: Thu, 16 Jul 2026 17:17:04 -0400
Subject: [PATCH 2/2] Move InterpretTests.lean to StrataPythonTestExtra

It requires PYTHON but was placed under StrataPythonTest, which
README.md documents as Python-free.
---
 .../CI/InterpretTests.lean                                        | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {StrataPythonTest => StrataPythonTestExtra}/CI/InterpretTests.lean (100%)

diff --git a/StrataPythonTest/CI/InterpretTests.lean b/StrataPythonTestExtra/CI/InterpretTests.lean
similarity index 100%
rename from StrataPythonTest/CI/InterpretTests.lean
rename to StrataPythonTestExtra/CI/InterpretTests.lean