Skip to content

Comments

chore(ci): Install mdbook and memrmaid plugin from releases#378

Merged
gtema merged 1 commit intomainfrom
docs
Nov 20, 2025
Merged

chore(ci): Install mdbook and memrmaid plugin from releases#378
gtema merged 1 commit intomainfrom
docs

Conversation

@gtema
Copy link
Collaborator

@gtema gtema commented Nov 20, 2025

mdbook-mermaid plugin again started crashing due do the incompatible
versions. Switch to installing them both with concrete versions from
github releases directly.

mdbook-mermaid plugin again started crashing due do the incompatible
versions. Switch to installing them both with concrete versions from
github releases directly.
@gtema gtema enabled auto-merge (squash) November 20, 2025 07:56
@gtema gtema disabled auto-merge November 20, 2025 08:10
@gtema gtema added this pull request to the merge queue Nov 20, 2025
@gtema gtema merged commit a20f619 into main Nov 20, 2025
10 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.

1 participant