Skip to content

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

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

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

Triggered via push May 16, 2024 11:30
Status Success
Total duration 37s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in