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.

Sign up for GitHub

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

Jump to bottom

On push sync the docs to gh-pages #1086

Merged
merged 2 commits into from
Feb 6, 2023
Merged

On push sync the docs to gh-pages #1086

merged 2 commits into from
Feb 6, 2023

Conversation

jleibs
Copy link
Member

@jleibs jleibs commented Feb 3, 2023 •
edited

On push to main we will update the latest docs:

By default we redirect to the rerun_sdk crate.

Checklist

  • I have read and agree to Contributor Guide and the Code of Conduct
  • I've included a screenshot or gif (if applicable)
  • I've added a line to CHANGELOG.md (if this is a big enough change to warrant it)

@jleibs jleibs changed the title New workflow for building & deploying the rust-docs On push sync the docs to gh-pages Feb 3, 2023
@jleibs jleibs force-pushed the jleibs/rust_dev_docs branch 7 times, most recently from 1c9ad41 to 4dbd26f Compare February 3, 2023 21:32
@jleibs jleibs marked this pull request as ready for review February 3, 2023 21:41
@jleibs jleibs merged commit 7aaedbf into main Feb 6, 2023
@jleibs jleibs deleted the jleibs/rust_dev_docs branch February 6, 2023 18:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jondo2010 jondo2010 jondo2010 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@jleibs @jondo2010