Skip to content

Conversation

@manzt
Copy link
Collaborator

@manzt manzt commented Aug 26, 2025

This is a little hacky, but until we move this repo into @marimo-team/marimo we need to clone the peer repo in CI. We could use submodules, but because the plan is to merge in the future this is just a bit more simple just to make sure we have type checking in CI until that point.

@manzt manzt added the internal label Aug 26, 2025
@manzt manzt merged commit c6f83db into main Aug 26, 2025
5 checks passed
@manzt manzt deleted the push-qqlwskpsnpsx branch August 26, 2025 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants