Skip to content

Fix pip install procedure#1942

Merged
jotaen4tinypilot merged 2 commits intomasterfrom
fix-pip-install-ci
Feb 12, 2026
Merged

Fix pip install procedure#1942
jotaen4tinypilot merged 2 commits intomasterfrom
fix-pip-install-ci

Conversation

@jotaen4tinypilot
Copy link
Copy Markdown
Contributor

@jotaen4tinypilot jotaen4tinypilot commented Feb 12, 2026

Copy link
Copy Markdown
Collaborator

@str028 str028 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Automated comment from CodeApprove ➜

Should we include the change in CONTRIBUTING.md as well here?

Copy link
Copy Markdown
Contributor Author

@jotaen4tinypilot jotaen4tinypilot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Automated comment from CodeApprove ➜

In: Discussion
Yes we should – done.


👀 @str028 it's your turn please take a look

Copy link
Copy Markdown
Collaborator

@str028 str028 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Automated comment from CodeApprove ➜

Approved on CodeApprove
✔️ Approved

LGTM


👀 @jotaen4tinypilot it's your turn please take a look

@jotaen4tinypilot jotaen4tinypilot merged commit 589d236 into master Feb 12, 2026
15 checks passed
@jotaen4tinypilot jotaen4tinypilot deleted the fix-pip-install-ci branch February 12, 2026 16:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants