Skip to content

Merge pull request #72 from cgtuebingen/hosting/docker-image #9

Merge pull request #72 from cgtuebingen/hosting/docker-image

Merge pull request #72 from cgtuebingen/hosting/docker-image #9

Triggered via push July 1, 2024 09:14
Status Success
Total duration 32s
Artifacts
update-website
24s
update-website
Fit to window
Zoom out
Zoom in