Skip to content

Conversation

@joelwurtz
Copy link
Member

No description provided.

@joelwurtz joelwurtz force-pushed the feat/jolicode-theme branch from f71496f to e23a7c4 Compare December 2, 2025 11:07
@joelwurtz joelwurtz force-pushed the feat/jolicode-theme branch from e23a7c4 to fbbb9a4 Compare December 2, 2025 11:15
@joelwurtz joelwurtz merged commit baf0cb2 into main Dec 2, 2025
5 checks passed
@joelwurtz joelwurtz deleted the feat/jolicode-theme branch December 2, 2025 11:20
Copy link
Member

Choose a reason for hiding this comment

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

This file should not be in the repo

Copy link
Member Author

Choose a reason for hiding this comment

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

If it's not in the repo we have to launch the command before buildings docs, however since we build a doc for each release, having a different build setup given the version is complicated, it's way easier for us to sync this by hand and keep the actual build setup if possible.

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.

3 participants