Skip to content

WIP: rename diff to patch #7291

WIP: rename diff to patch

WIP: rename diff to patch #7291

Triggered via push November 15, 2024 08:41
Status Success
Total duration 17s
Artifacts
ast-grep-lint
8s
ast-grep-lint
Fit to window
Zoom out
Zoom in