Skip to content

Merge pull request #5530 from dodona-edu/fix/export-name #2458

Merge pull request #5530 from dodona-edu/fix/export-name

Merge pull request #5530 from dodona-edu/fix/export-name #2458

Triggered via push May 16, 2024 11:30
Status Success
Total duration 18s
Artifacts
Update Draft Release
8s
Update Draft Release
Fit to window
Zoom out
Zoom in