Skip to content

fix ci pipeline#102

Merged
marcelluethi merged 4 commits into
dimwit-dev:mainfrom
marcelluethi:fix-ci
May 6, 2026
Merged

fix ci pipeline#102
marcelluethi merged 4 commits into
dimwit-dev:mainfrom
marcelluethi:fix-ci

Conversation

@marcelluethi
Copy link
Copy Markdown
Contributor

introduce separate steps for docs and docsRoot

introduce separate steps for docs and docsRoot
@marcelluethi marcelluethi requested a review from benikm91 May 6, 2026 05:49
marcelluethi and others added 3 commits May 6, 2026 07:52
The test was accidentally broken in commit #4d85bd5 but it was not noticed due to failing ci.

Co-authored-by: Copilot <copilot@github.com>
@marcelluethi marcelluethi merged commit 0d967d5 into dimwit-dev:main May 6, 2026
1 check 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