Skip to content

tree-sitter-gitattributes: new port #4241

tree-sitter-gitattributes: new port

tree-sitter-gitattributes: new port #4241

Triggered via push September 24, 2025 06:53
Status Success
Total duration 9m 21s
Artifacts

mirror.yml

on: push
delete-cancelled-runs
3s
delete-cancelled-runs
Index and mirror
9m 17s
Index and mirror
Fit to window
Zoom out
Zoom in