Skip to content

ci: use dev-docs container for docs CI#452

Merged
wphillipmoore merged 1 commit intodevelopfrom
chore/446-use-dev-docs-container
Mar 8, 2026
Merged

ci: use dev-docs container for docs CI#452
wphillipmoore merged 1 commit intodevelopfrom
chore/446-use-dev-docs-container

Conversation

@wphillipmoore
Copy link
Owner

Pull Request

Summary

  • Switch docs workflow to run inside ghcr.io/wphillipmoore/dev-docs:latest container, removing the separate Python setup step.

Issue Linkage

Testing

  • st-validate-local

Notes

Co-Authored-By: wphillipmoore-claude <255925739+wphillipmoore-claude@users.noreply.github.com>
@wphillipmoore wphillipmoore enabled auto-merge (squash) March 8, 2026 12:03
@wphillipmoore wphillipmoore merged commit a196ae1 into develop Mar 8, 2026
16 checks passed
@wphillipmoore wphillipmoore deleted the chore/446-use-dev-docs-container branch March 8, 2026 12:05
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.

ci: use dev-docs container for docs CI

1 participant