Skip to content

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

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

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

Triggered via pull request November 9, 2025 18:18
Status Success
Total duration 1m 45s
Artifacts

nix.yml

on: pull_request
pre_job
5s
pre_job
Matrix: develop
nix_post_job
3s
nix_post_job
Fit to window
Zoom out
Zoom in