Skip to content

Merge pull request #5 from mhorst00/main #25

Merge pull request #5 from mhorst00/main

Merge pull request #5 from mhorst00/main #25

Triggered via push March 4, 2026 20:16
Status Success
Total duration 39s
Artifacts
build-documentation
29s
build-documentation
Fit to window
Zoom out
Zoom in