Skip to content

Adds a local dev scripts#24

Merged
tonyredondo merged 13 commits intomainfrom
tony/local-dev
Jul 16, 2025
Merged

Adds a local dev scripts#24
tonyredondo merged 13 commits intomainfrom
tony/local-dev

Conversation

@tonyredondo
Copy link
Member

What does this PR do?

This PR adds some scripts to setup local dev of the library.

Motivation

Currently everything was optimized for CI but we need a localdev script to work in the development of the library.

Additional Notes

Possible Drawbacks / Trade-offs

Describe how to test/QA your changes

@tonyredondo tonyredondo merged commit 4f7e492 into main Jul 16, 2025
31 checks passed
@tonyredondo tonyredondo deleted the tony/local-dev branch July 16, 2025 07:57
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.

2 participants