Skip to content

fix(web): Fix "Ranges must be added sorted by from position and startSide" by having codemirror sort for us #1229

fix(web): Fix "Ranges must be added sorted by from position and startSide" by having codemirror sort for us

fix(web): Fix "Ranges must be added sorted by from position and startSide" by having codemirror sort for us #1229

Triggered via pull request January 16, 2026 01:23
Status Success
Total duration 7m 39s
Artifacts 1

pr-gate.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
sourcebot-dev~sourcebot~9BJQN5.dockerbuild
86.9 KB
sha256:80e010aff679791bd375d99a96154e074c6366c57df8fc616b353962143773a0