Skip to content

update deeproboticslab changes#84

Open
fan-ziqi wants to merge 14 commits into
mainfrom
devel-optimized
Open

update deeproboticslab changes#84
fan-ziqi wants to merge 14 commits into
mainfrom
devel-optimized

Conversation

@fan-ziqi

@fan-ziqi fan-ziqi commented Aug 25, 2025

Copy link
Copy Markdown
Owner

Description

optimize config with deeproboticslab changes

Type of change

  • Bug fix (non-breaking change which fixes an issue)

Checklist

  • I have run the pre-commit checks with pre-commit run --all-files
  • My changes generate no new warnings
  • I have added my name to the CONTRIBUTORS.md or my name already exists there

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.

1 participant