dearsky/pico-fido
1
0
Fork 0
Code Issues 46 Pull Requests 1 Actions Packages Projects Releases 22 Wiki Activity

Toolchain for user #40

Closed
zxkmm wants to merge 4 commits from toolchain-for-user into main
pull from: toolchain-for-user
merge into: dearsky:main
Conversation 1 Commits 4 Files Changed 6 +913 -1158
zxkmm commented 2024-03-27 11:25:35 +08:00 (Migrated from github.com)
Copy Link

Comment out the hard coded path and use submodule

Comment out the hard coded path and use submodule
polhenarejos commented 2025-01-15 22:18:33 +08:00 (Migrated from github.com)
Copy Link

No need for embedding pico-sdk in the repo as it is available outside as a dependency.

No need for embedding pico-sdk in the repo as it is available outside as a dependency.

Pull request closed

This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
bug
Something isn't working
 documentation
Improvements or additions to documentation
 duplicate
This issue or pull request already exists
 enhancement
New feature or request
 good first issue
Good for newcomers
 help wanted
Extra attention is needed
 invalid
This doesn't seem right
 question
Further information is requested
 wontfix
This will not be worked on
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
dearsky
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: dearsky/pico-fido#40
Delete Branch "toolchain-for-user"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?