Merge branch 'praktikum_baseoptw23' into 'main'
merged results
7 jobs
23 seconds, queued for 5 seconds
2025-01-08: Due to updates GitLab may be unavailable for some minutes between 13:00 and 15:00.