Skip to content

Merge pull request #4962 from dodona-edu/revert-4933-enhance/codemirror #2040

Merge pull request #4962 from dodona-edu/revert-4933-enhance/codemirror

Merge pull request #4962 from dodona-edu/revert-4933-enhance/codemirror #2040

Triggered via push September 12, 2023 12:42
Status Success
Total duration 17s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Update Draft Release
8s
Update Draft Release
Fit to window
Zoom out
Zoom in