Skip to content

Merge pull request #18 from pep-dortmund/chrbeckm-patch-1 #17

Merge pull request #18 from pep-dortmund/chrbeckm-patch-1

Merge pull request #18 from pep-dortmund/chrbeckm-patch-1 #17

Triggered via push October 1, 2024 12:00
Status Skipped
Total duration 3s
Artifacts
Template Cleanup
0s
Template Cleanup
Fit to window
Zoom out
Zoom in