Skip to content

Rely on gitignore to exclude listed files in ghcide (#4665) #6651

Rely on gitignore to exclude listed files in ghcide (#4665)

Rely on gitignore to exclude listed files in ghcide (#4665) #6651

Triggered via pull request October 4, 2025 16:52
Status Success
Total duration 3m 11s
Artifacts

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in