Skip to content

Merge pull request #93 from cgtuebingen/misc/52-documentation #16

Merge pull request #93 from cgtuebingen/misc/52-documentation

Merge pull request #93 from cgtuebingen/misc/52-documentation #16

Triggered via push September 25, 2024 20:36
Status Success
Total duration 29s
Artifacts
update-website
20s
update-website
Fit to window
Zoom out
Zoom in