Skip to content

Merge pull request #220 from elbeno/user-defined-formatting #212

Merge pull request #220 from elbeno/user-defined-formatting

Merge pull request #220 from elbeno/user-defined-formatting #212

Triggered via push April 23, 2025 15:39
Status Success
Total duration 5m 24s
Artifacts 1
Configure Github Pages Publishing
5s
Configure Github Pages Publishing
Build Documentation
1m 39s
Build Documentation
Deploy Documentation
12s
Deploy Documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
46.6 KB
sha256:e9b06c6ddbbde6bf6197ca01fc221c58173cdc505a3347c58ab2f852b5b9be51