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
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",