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.

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

Fix minor documentation issues #21

Merged
merged 3 commits into from
Jul 18, 2022
Merged

Fix minor documentation issues #21

merged 3 commits into from
Jul 18, 2022

Conversation

smoia
Copy link
Collaborator

@smoia smoia commented Jul 18, 2022

Closes #

Proposed Changes

Change Type

  • bugfix (+0.0.1)
  • minor (+0.1.0)
  • major (+1.0.0)
  • refactoring (no version update)
  • test (no version update)
  • infrastructure (no version update)
  • documentation (no version update)
  • other

Checklist before review

  • I added everything I wanted to add to this PR.
  • [Code or tests only] I wrote/updated the necessary docstrings.
  • [Code or tests only] I ran and passed tests locally.
  • [Documentation only] I built the docs locally.
  • My contribution is harmonious with the rest of the code: I'm not introducing repetitions.
  • My code respects the adopted style, especially linting conventions.
  • The title of this PR is explanatory on its own, enough to be understood as part of a changelog.
  • I added or indicated the right labels.
  • I added information regarding the timeline of completion for this PR.
  • Please, comment on my PR while it's a draft and give me feedback on the development!

@smoia smoia added the Internal Changes affect the internal API. It doesn't increase the version, but produces a changelog label Jul 18, 2022
@smoia smoia merged commit 3b23fb5 into MIPLabCH:master Jul 18, 2022
@smoia smoia deleted the fix/docs branch July 18, 2022 14:36
@smoia
Copy link
Collaborator Author

smoia commented Aug 22, 2022

🚀 PR was released in 0.7.0 🚀

@smoia smoia added the Released This PR has been released! label Aug 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Internal Changes affect the internal API. It doesn't increase the version, but produces a changelog Released This PR has been released!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant