Skip to content

Merge branch 'develop' into feature/programming-exercises/repository-… #1242

Merge branch 'develop' into feature/programming-exercises/repository-…

Merge branch 'develop' into feature/programming-exercises/repository-… #1242

Triggered via push February 1, 2025 13:04
Status Success
Total duration 1m 2s
Artifacts
Check if windfiles and scripts match
55s
Check if windfiles and scripts match
Fit to window
Zoom out
Zoom in