Skip to content

fix: keep default codemirror lint plugin to be hidden #43

fix: keep default codemirror lint plugin to be hidden

fix: keep default codemirror lint plugin to be hidden #43

Triggered via push November 27, 2025 19:15
Status Success
Total duration 8s
Artifacts

ci.yml

on: push
Check spelling
5s
Check spelling
Linting and formatting
5s
Linting and formatting
Translation Check (On PR Only)
Translation Check (On PR Only)
Fit to window
Zoom out
Zoom in