Skip to content

server: fix edit_file crash on append at end of file (line_start -1) … #304

server: fix edit_file crash on append at end of file (line_start -1) …

server: fix edit_file crash on append at end of file (line_start -1) … #304

Triggered via push June 22, 2026 09:57
Status Cancelled
Total duration 1d 0h 0m 2s
Artifacts
python type-check
1d 0h
python type-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
python type-check
The job has exceeded the maximum execution time while awaiting a runner for 24h0m0s