Skip to content

fix(deps): add pdoc to dev optional dependencies - #87

Merged
zeevdr merged 1 commit into
mainfrom
fix/pdoc-dev-dep
May 21, 2026
Merged

fix(deps): add pdoc to dev optional dependencies#87
zeevdr merged 1 commit into
mainfrom
fix/pdoc-dev-dep

Conversation

@zeevdr

@zeevdr zeevdr commented May 21, 2026

Copy link
Copy Markdown
Member

Summary

  • pdoc was called by make docs but not declared in [project.optional-dependencies].dev, causing contributors with a clean environment to get a command-not-found error.

Test plan

  • Added pdoc>=15.0.0 to dev optional dependencies in sdk/pyproject.toml
  • Ran make docs — generated API docs in sdk/docs/api/ successfully

Closes #56

`make docs` calls pdoc but it was not listed under
[project.optional-dependencies].dev, causing `make docs` to fail
in a clean environment.

Closes #56
Co-Authored-By: Claude <noreply@anthropic.com>
@zeevdr zeevdr added this to the Beta Readiness milestone May 21, 2026
@zeevdr zeevdr added size: S Quick win — a few hours or less priority: P1 Current milestone work labels May 21, 2026
@codecov

codecov Bot commented May 21, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@zeevdr
zeevdr merged commit ab8e4c4 into main May 21, 2026
14 checks passed
@zeevdr
zeevdr deleted the fix/pdoc-dev-dep branch May 21, 2026 04:32
@github-project-automation github-project-automation Bot moved this from Todo to Done in OpenDecree May 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

priority: P1 Current milestone work size: S Quick win — a few hours or less

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

pdoc declared in Makefile but not in dev deps

1 participant