Skip to content

Conversation

juleswritescode
Copy link
Collaborator

@juleswritescode juleswritescode commented Jul 19, 2025

we'll have to deploy to see if this actually works – using mike serve apparently doesn't deploy the local docs/ directory, but uses a git branch.

@psteinroe psteinroe merged commit be2cd02 into main Jul 22, 2025
7 checks passed
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