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

Move pdoc to a docs dependency group #23

Merged
merged 1 commit into from
Aug 4, 2023
Merged

Conversation

ReinderVosDeWael
Copy link
Contributor

Currently, pdoc is part of the main dependencies (albeit optional). This PR moves it to its own docs dependency. This is already implied as the intention by the workflow which tries to install a (currently non-existent) docs group.

@ReinderVosDeWael ReinderVosDeWael self-assigned this Aug 3, 2023
@github-actions
Copy link

github-actions bot commented Aug 3, 2023

Coverage

Coverage Report
FileStmtsMissCover
TOTAL100100%

Tests Skipped Failures Errors Time
4 0 💤 0 ❌ 0 🔥 0.089s ⏱️

@codecov
Copy link

codecov bot commented Aug 3, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (c88c72a) 100.00% compared to head (903b697) 100.00%.

Additional details and impacted files
@@            Coverage Diff            @@
##              main       #23   +/-   ##
=========================================
  Coverage   100.00%   100.00%           
=========================================
  Files            1         1           
  Lines           10        10           
=========================================
  Hits            10        10           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Contributor

@nx10 nx10 left a comment

Choose a reason for hiding this comment

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

Whoops

@ReinderVosDeWael ReinderVosDeWael merged commit c777b05 into main Aug 4, 2023
8 checks passed
@ReinderVosDeWael ReinderVosDeWael deleted the fix/pdoc-optional branch August 4, 2023 18:03
@nx10
Copy link
Contributor

nx10 commented Aug 4, 2023

Hmm looking back at this I dont think its correct now, before it was an extra dependency now its a dependency group.
The poetry docs say it can be either but if its in a dependency group it can not be an extra (last box in this section: https://python-poetry.org/docs/pyproject/#extras)

(But correct me if im wrong, I have some trouble precisely understanding the poetry docs here)

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