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

ci: deploy the API document to GitHub Pages of this repo instead of rpolars/rpolars.github.io #1067

Merged
merged 2 commits into from
Apr 30, 2024

Conversation

eitsupi
Copy link
Collaborator

@eitsupi eitsupi commented Apr 30, 2024

Close #932

Once this merged, I will update https://github.com/rpolars/rpolars.github.io to redirect to the new URL.
I would like to update the URLs in the source code afterwards.

@eitsupi
Copy link
Collaborator Author

eitsupi commented Apr 30, 2024

It seems working. (I temporarily allow deployments from this branch and ran the deploy workflow manually)
https://pola-rs.github.io/r-polars/

image

@eitsupi eitsupi marked this pull request as ready for review April 30, 2024 10:19
@eitsupi eitsupi changed the title ci: switch the API document from own repo to GitHub Pages of this repo ci: deploy the API document to GitHub Pages of this repo instead of rpolars/rpolars.github.io Apr 30, 2024
Copy link
Collaborator

@etiennebacher etiennebacher left a comment

Choose a reason for hiding this comment

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

Thanks

@etiennebacher etiennebacher merged commit 91e7cfe into main Apr 30, 2024
5 checks passed
@etiennebacher etiennebacher deleted the pages branch April 30, 2024 11:57
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.

Move API document website to this repository's GitHub pages
2 participants