Skip to content

Merge pull request #18 from elbeno/update-docs-mermaid #16

Merge pull request #18 from elbeno/update-docs-mermaid

Merge pull request #18 from elbeno/update-docs-mermaid #16

Triggered via push January 11, 2024 16:23
Status Success
Total duration 9m 36s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Configure Github Pages Publishing
4s
Configure Github Pages Publishing
Build Documentation
1m 36s
Build Documentation
Deploy Documentation
11s
Deploy Documentation
Fit to window
Zoom out
Zoom in