Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

[DOC] Setup Github Pages for docs #34

Closed
wants to merge 24 commits into from
Closed

Conversation

AditModi
Copy link

@AditModi AditModi commented May 5, 2022

Description

(Brief description on what this PR is about)

  • Setup Github Pages for docs

More details in this issue #4

Checklist

  • PR's title starts with a category (e.g. [BUGFIX], [MODEL], [TUTORIAL], [FEATURE], [DOC], etc)
  • Changes are complete (i.e. I finished coding on this PR)
  • All changes have test coverage
  • Code is well-documented

cc @awslabs/raf-reviewer

AditModi added 24 commits May 5, 2022 12:10
…ocs/4_contrib_guide/Development-And-Pull-Request.md
…cs/3_dev_guide/pass/Multi-CUDA-Stream-Schedule.md
@comaniac
Copy link
Contributor

comaniac commented May 5, 2022

Thanks for the PR. Please be aware that README.md is auto-generated, so you will need to change docs/gen_readme.py and ci/task_check_autogen.sh accordingly.

@AditModi
Copy link
Author

Thanks for the PR. Please be aware that README.md is auto-generated, so you will need to change docs/gen_readme.py and ci/task_check_autogen.sh accordingly.

It is possible to merge changes to main branch or there are issues I need to fix?

@comaniac
Copy link
Contributor

Of course we could merge the PR., but please first see my comments and fix the CI error accordingly.

@comaniac
Copy link
Contributor

Closing this PR due to inactive. Feel free to re-open with the mention fixes.

@comaniac comaniac closed this May 24, 2022
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