Skip to content
CI

Remove all mentions of mdbook-mermaid, which is no longer used #722

Sign in to view logs

Remove all mentions of mdbook-mermaid, which is no longer used

Remove all mentions of mdbook-mermaid, which is no longer used #722

Triggered via push October 17, 2025 14:44
@SergioGasquezSergioGasquez
pushed 7559c8d
main
Status Success
Total duration 59s
Artifacts –

ci.yml

on: push
build
56s
build
Fit to window
Zoom out
Zoom in