Skip to content

PR address github pages failing when trying to push a patch to the ma…#164

Merged
Cvicnaire merged 1 commit into
masterfrom
codex/pkgdgdown_fix
May 20, 2026
Merged

PR address github pages failing when trying to push a patch to the ma…#164
Cvicnaire merged 1 commit into
masterfrom
codex/pkgdgdown_fix

Conversation

@Cvicnaire

Copy link
Copy Markdown
Collaborator

…in branch. Also fixed the issue with examples not showing up in the reference section.

…in branch. Also fixed the issue with examples not showing up in the reference section.
@Cvicnaire Cvicnaire merged commit 8c0608c into master May 20, 2026
4 of 5 checks passed
@Cvicnaire Cvicnaire deleted the codex/pkgdgdown_fix branch May 20, 2026 21:45
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