Skip to content

Minor fix for mujoco sim#1023

Merged
haixuanTao merged 21 commits intomainfrom
minor-fix-for-mujoco-sim
Jun 17, 2025
Merged

Minor fix for mujoco sim#1023
haixuanTao merged 21 commits intomainfrom
minor-fix-for-mujoco-sim

Conversation

@haixuanTao
Copy link
Copy Markdown
Collaborator

@ShashwatPatil I have made some overall improvement.

Could you check the commits and see if its ok for you to merge?

@haixuanTao haixuanTao self-assigned this Jun 16, 2025
@ShashwatPatil
Copy link
Copy Markdown
Contributor

Yes, we should merge this, should make the overall workflow simple

@haixuanTao haixuanTao merged commit 98eb8a5 into main Jun 17, 2025
146 of 147 checks passed
@haixuanTao haixuanTao deleted the minor-fix-for-mujoco-sim branch June 17, 2025 07:55
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.

2 participants