Skip to content

Merge pull request #320 from markusweigelt/update-documentation #140

Merge pull request #320 from markusweigelt/update-documentation

Merge pull request #320 from markusweigelt/update-documentation #140

Triggered via push November 8, 2024 16:14
Status Success
Total duration 34s
Artifacts 1
Build and test documentation
9s
Build and test documentation
Deploy documentation to GitHub Pages
7s
Deploy documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
1.11 MB