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

docs: deploy to github pages #8321

Merged
merged 9 commits into from
Jan 13, 2021
Merged

docs: deploy to github pages #8321

merged 9 commits into from
Jan 13, 2021

Conversation

tac0turtle
Copy link
Member

@tac0turtle tac0turtle commented Jan 13, 2021

Description

  • remove circleci
  • deploy docs to github pages

https://cosmos.github.io/cosmos-sdk/master/

closes: #8309

@tac0turtle tac0turtle self-assigned this Jan 13, 2021
@tac0turtle tac0turtle added the T:Docs Changes and features related to documentation. label Jan 13, 2021
@tac0turtle tac0turtle marked this pull request as ready for review January 13, 2021 11:41
Makefile Outdated Show resolved Hide resolved
Copy link
Contributor

@helder-moreira helder-moreira left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@helder-moreira
Copy link
Contributor

I will update DNS when merged

@tac0turtle tac0turtle added the A:automerge Automatically merge PR once all prerequisites pass. label Jan 13, 2021
@tac0turtle tac0turtle merged commit df7f0b2 into master Jan 13, 2021
@tac0turtle tac0turtle deleted the 8309-github-pages branch January 13, 2021 17:41
This was referenced Jan 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A:automerge Automatically merge PR once all prerequisites pass. T:Docs Changes and features related to documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Migrate docs to GitHub Pages and their build jobs to GitHub Actions
2 participants