Skip to content
pre-commit

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

Sign in to view logs

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

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

Triggered via pull request November 9, 2025 18:33
@blackheavenblackheaven
synchronize #4736
blackheaven:ghcide/use-gitignore
Status Success
Total duration 3m 39s
Artifacts –

pre-commit.yml

on: pull_request
file-diff
8s
file-diff
pre-commit
3m 25s
pre-commit
Fit to window
Zoom out
Zoom in