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

docs: update readthedocs #22

Merged
merged 64 commits into from
Jul 19, 2022
Merged

docs: update readthedocs #22

merged 64 commits into from
Jul 19, 2022

Conversation

Benjamin-eecs
Copy link
Member

@Benjamin-eecs Benjamin-eecs commented Jul 4, 2022

Checklist

Go over all the following points, and put an x in all the boxes that apply.
If you are unsure about any of these, don't hesitate to ask. We are here to help!

  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.
  • I have reformatted the code using make format (required)
  • I have checked the code using make lint (required)
  • I have ensured make test pass. (required)

@Benjamin-eecs Benjamin-eecs added the documentation Improvements or additions to documentation label Jul 4, 2022
@XuehaiPan XuehaiPan changed the title fix(docs): update readthedocs docs: update readthedocs Jul 19, 2022
@XuehaiPan XuehaiPan merged commit 8c67893 into metaopt:main Jul 19, 2022
@Benjamin-eecs Benjamin-eecs deleted the dev-doc branch August 10, 2022 15:10
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants