Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

(DO NOT MERGE) generate NP library from PI #383#46

Closed
alejoe91 wants to merge 1 commit intomainfrom
test-pi-383
Closed

(DO NOT MERGE) generate NP library from PI #383#46
alejoe91 wants to merge 1 commit intomainfrom
test-pi-383

Conversation

Copy link
Member

alejoe91 commented Jan 2, 2026

No description provided.

Copy link
Collaborator

h-mayorquin commented Jan 5, 2026

Thanks for doing this, maybe we should do an action that we can manually trigger to generate the library from two different branches and report if there are mismatches.

Copy link
Member Author

alejoe91 commented Jan 6, 2026

Thanks for doing this, maybe we should do an action that we can manually trigger to generate the library from two different branches and report if there are mismatches.

No worries man! I think it should be unfrequent enough and easy enough to do it manually like I did here when needed, but open for discussion :)

alejoe91 closed this Jan 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants