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

docs(python): add build_info() to the API doc #5442

Merged
merged 1 commit into from
Nov 8, 2022
Merged

docs(python): add build_info() to the API doc #5442

merged 1 commit into from
Nov 8, 2022

Conversation

slonik-az
Copy link
Contributor

(followup to PR #5423)

Forgot to add new build_info() function to the API doc. Hence, this little PR.

@github-actions github-actions bot added chore Maintenance work that does not impact the user python Related to Python Polars labels Nov 7, 2022
@slonik-az slonik-az mentioned this pull request Nov 7, 2022
Merged
@ritchie46 ritchie46 changed the title chore(python,doc): add build_info() to the API doc docs(python): add build_info() to the API doc Nov 7, 2022
@github-actions github-actions bot added the docs label Nov 7, 2022
@ritchie46 ritchie46 merged commit e49e9d5 into pola-rs:master Nov 8, 2022
zundertj pushed a commit to zundertj/polars that referenced this pull request Jan 7, 2023
@slonik-az @zundertj
docs(python): add build_info() to the API doc (pola-rs#5442)
f9720a8
@stinodego stinodego added the documentation Improvements or additions to documentation label Jan 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
chore Maintenance work that does not impact the user documentation Improvements or additions to documentation python Related to Python Polars
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@slonik-az @ritchie46 @stinodego