Skip to content

Merge pull request #4883 from dodona-edu/chore/remove-ugent-mentions #1983

Merge pull request #4883 from dodona-edu/chore/remove-ugent-mentions

Merge pull request #4883 from dodona-edu/chore/remove-ugent-mentions #1983

Triggered via push August 10, 2023 11:13
Status Success
Total duration 20s
Artifacts
Update Draft Release
10s
Update Draft Release
Fit to window
Zoom out
Zoom in