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

chore: documentation domains & dependencies #245

Merged
merged 16 commits into from
Dec 11, 2024

Conversation

uriii3
Copy link
Collaborator

@uriii3 uriii3 commented Dec 4, 2024

Fixing tickets CMT-158 and also CMT-156.

Mainly it is adding the domains that the toolbox uses (not anymore found by my in the code) and also the dependencies (see that we have no 'optional' dependencies, as it was something that is on our roadmap to be checked, how to separate the dependencies).


📚 Documentation preview 📚: https://copernicusmarine--245.org.readthedocs.build/en/245/

@uriii3 uriii3 requested a review from renaudjester December 4, 2024 16:25
@uriii3 uriii3 requested a review from renaudjester December 9, 2024 12:00
@uriii3 uriii3 requested a review from renaudjester December 9, 2024 16:22
Comment on lines +38 to +39
[tool.poetry.group.dev.dependencies]
types-toml = "^0.10.8.20240310"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok so the problem is that now you have created a group for this, whereas there is a dev dependencies that exists already ([tool.poetry.dev-dependencies]) it could be coming from the difference of versions from the poetry you are using and the poetry used before to create the file

Anyway it would be nice to homogenize this: all dev deps in [tool.poetry.dev-dependencies] or all dev deps in [tool.poetry.dev-dependencies]

@uriii3 uriii3 requested a review from renaudjester December 10, 2024 14:18
@uriii3 uriii3 merged commit a0d43d2 into main Dec 11, 2024
8 checks passed
@uriii3 uriii3 deleted the documentation-domains-dependencies branch December 11, 2024 09:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants