Skip to content

Bump Strata/StrataDDM lake-manifest pins and move test#7

Open
Boarders wants to merge 2 commits into
strata-org:mainfrom
Boarders:fix/stale-lake-manifest
Open

Bump Strata/StrataDDM lake-manifest pins and move test#7
Boarders wants to merge 2 commits into
strata-org:mainfrom
Boarders:fix/stale-lake-manifest

Conversation

@Boarders

Copy link
Copy Markdown

Description

I tried building Strata locally but ran into a couple of issues which this aims to fix:

  • Bump stale Strata/StrataDDM lake-manifest pins
  • Move InterpretTests.lean to StrataPythonTestExtra (as it requires Python)

Happy to make changes if I have missed something important in either of the above.

Checklist

  • lake build StrataPython StrataPythonTest succeeds locally
  • New .lean files start with the standard copyright header
  • No trailing whitespace and files end with a newline

Boarders added 2 commits July 16, 2026 16:56
It requires PYTHON but was placed under StrataPythonTest, which
README.md documents as Python-free.
@Boarders
Boarders requested a review from a team as a code owner July 16, 2026 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant