Skip to content

Merge remote-tracking branch 'origin/main' into codemirror #91

Merge remote-tracking branch 'origin/main' into codemirror

Merge remote-tracking branch 'origin/main' into codemirror #91

Triggered via push December 24, 2025 11:15
Status Success
Total duration 11s
Artifacts

ci.yml

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