Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Start writing some developer documentation which includes design principles and guides for contributing #21

Closed
3 tasks
JamieMair opened this issue Aug 11, 2023 · 0 comments · Fixed by #91
Closed
3 tasks

Start writing some developer documentation which includes design principles and guides for contributing #21

JamieMair opened this issue Aug 11, 2023 · 0 comments · Fixed by #91
Assignees
@JamieMair
Labels
documentation Improvements or additions to documentation enhancement New feature or request
Milestone
initial-beta

Comments

@JamieMair
Copy link
Owner

JamieMair commented Aug 11, 2023 •
edited
Loading

This should cover:

  • Using the gen code to remake the bindings
  • Talk about MuJoCo_jll and how to upgrade the version
  • Write a guide on workflow/contributing
@JamieMair JamieMair added documentation Improvements or additions to documentation enhancement New feature or request labels Aug 11, 2023
@JamieMair JamieMair self-assigned this Aug 11, 2023
@JamieMair JamieMair mentioned this issue Aug 11, 2023
Open
@JamieMair JamieMair added this to the initial-beta milestone Aug 11, 2023
@JamieMair JamieMair linked a pull request Dec 4, 2023 that will close this issue
Written some small documentation for developing #91
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@JamieMair JamieMair

Labels
documentation Improvements or additions to documentation enhancement New feature or request
Projects
None yet
Milestone
initial-beta
Development

Successfully merging a pull request may close this issue.

Written some small documentation for developing JamieMair/MuJoCo.jl
1 participant
@JamieMair