Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Extend public API #10

Merged
merged 4 commits into from
Jan 9, 2024
Merged

Extend public API #10

merged 4 commits into from
Jan 9, 2024

Conversation

wcoder
Copy link
Member

@wcoder wcoder commented Jan 5, 2024 •
edited
Loading

Changes:

Tasks:

  • Fix CI pipelines

@wcoder wcoder added the enhancement New feature or request label Jan 5, 2024
@wcoder wcoder merged commit 5b9cdd7 into master Jan 9, 2024
1 check passed
@wcoder wcoder deleted the feature/allow-null-args branch January 9, 2024 19:42
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@pavel-leonenko pavel-leonenko Awaiting requested review from pavel-leonenko

@dimysa dimysa Awaiting requested review from dimysa

@nkrisko nkrisko Awaiting requested review from nkrisko

@KirylAkulich1 KirylAkulich1 Awaiting requested review from KirylAkulich1

Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Parameters that should be nullable are non-nullable
1 participant
@wcoder