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

doc work + type hints in artifact.one_remaining() #117

Merged
merged 1 commit into from
Dec 2, 2024
Merged

doc work + type hints in artifact.one_remaining() #117

merged 1 commit into from
Dec 2, 2024

Conversation

jGaboardi
Copy link
Collaborator

@jGaboardi jGaboardi added the documentation Improvements or additions to documentation label Nov 29, 2024
@jGaboardi jGaboardi self-assigned this Nov 29, 2024
@jGaboardi jGaboardi mentioned this pull request Nov 29, 2024
Closed
5 tasks
@jGaboardi
Copy link
Collaborator Author

This is now in artifacts.one_remaining()@L401

@jGaboardi jGaboardi merged commit 9f2fc7a into main Dec 2, 2024
11 checks passed
@jGaboardi jGaboardi deleted the GH20_artifacts_docstrings branch December 2, 2024 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@martinfleis martinfleis martinfleis approved these changes

Assignees

@jGaboardi jGaboardi

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jGaboardi @martinfleis