chore(deps): bump hero_* git deps to dev tips #117
No reviewers
Labels
No labels
prio_critical
prio_low
type_bug
type_contact
type_issue
type_lead
type_question
type_story
type_task
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
lhumina_code/hero_os!117
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "development_chore_bump_dev_deps"
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?
Summary
Bump all
hero_*git deps in hero_os to current development tips.Related Issue
N/A — routine sync.
Changes
Test Results
cargo check, cargo fmt --check, cargo clippy -D warnings all pass.