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

Feature/documentation #95

Merged
merged 13 commits into from
Jul 14, 2023
Merged

Feature/documentation #95

merged 13 commits into from
Jul 14, 2023

Conversation

victorgiurcoiu
Copy link
Collaborator

@victorgiurcoiu victorgiurcoiu commented Jul 12, 2023 •
edited by picciama
Loading

PR Checklist

  • This comment contains a description of changes (with reason)
  • Referenced issue is linked
  • If you've fixed a bug or added code that should be tested, add tests!
  • Documentation in docs is updated

Description of changes

Technical details

Additional context

@github-actions github-actions bot added chore enhancement New feature or request labels Jul 14, 2023
@picciama picciama merged commit 901b092 into development Jul 14, 2023
37 checks passed
@picciama picciama deleted the feature/documentation branch July 14, 2023 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@picciama picciama picciama approved these changes

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

Successfully merging this pull request may close these issues.
2 participants
@victorgiurcoiu @picciama