CI

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

Sign in to view logs

Triggered via push December 30, 2025 13:17

codemirror

Status Success

Total duration 9s

Artifacts –

ci.yml

on: push

Linting and formatting

Translation Check (On PR Only)