Skip to content

refactor: update dependency setup and CI workflow#3

Merged
NoeFontana merged 1 commit into
mainfrom
fix/ci-github-pages
Oct 31, 2025
Merged

refactor: update dependency setup and CI workflow#3
NoeFontana merged 1 commit into
mainfrom
fix/ci-github-pages

Conversation

@NoeFontana

Copy link
Copy Markdown
Owner

Use newer dependency groups instead of extras for dev dependencies.

Split CI step to build doc independently of publishing. This allows testing that documentation builds on PR while publishing it only on merge to main.

Use newer dependency groups instead of extras for dev dependencies.

Split CI step to build doc independently of publishing. This allows testing that documentation builds on PR while publishing it only on merge to main.
@NoeFontana NoeFontana merged commit 71ee844 into main Oct 31, 2025
5 checks passed
@NoeFontana NoeFontana deleted the fix/ci-github-pages branch October 31, 2025 23:33
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.

1 participant