Skip to content

fix(git): make show_diff_source() work with deleted files #2702

fix(git): make show_diff_source() work with deleted files

fix(git): make show_diff_source() work with deleted files #2702

Triggered via push October 15, 2025 18:36
Status Success
Total duration 15s
Artifacts

lint.yml

on: push
Formatting
11s
Formatting
Document generation
9s
Document generation
Lint commits
8s
Lint commits
Lint filename lengths
7s
Lint filename lengths
File case sensitivity
10s
File case sensitivity
Fit to window
Zoom out
Zoom in