Skip to content

Cleanup of dependencies and files #344

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
Merged
merged 3 commits into from
Jun 7, 2023
Merged

Cleanup of dependencies and files #344

merged 3 commits into from
Jun 7, 2023

Conversation

@DomInvivo
Copy link
Collaborator

@DomInvivo DomInvivo commented Jun 7, 2023 •
edited
Loading

Checklist:

  • Was this PR discussed in a issue? It is recommended to first discuss a new feature into a GitHub issue before opening a PR.
  • NA: Add tests to cover the fixed bug(s) or the new introduced feature(s) (if appropriate).
  • NA: Update the API documentation is a new function is added or an existing one is deleted.

@DomInvivo DomInvivo requested a review from hadim June 7, 2023 02:20
@DomInvivo DomInvivo linked an issue Jun 7, 2023 that may be closed by this pull request
Dependencies review and warnings #255
Closed
@hadim hadim merged commit 4a7ec85 into main Jun 7, 2023
@hadim hadim deleted the cleanup branch June 7, 2023 11:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@hadim hadim Awaiting requested review from hadim

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Dependencies review and warnings

3 participants

@DomInvivo @hadim