Skip to content

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

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

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

Triggered via pull request October 4, 2025 16:46
Status Success
Total duration 1m 30s
Artifacts

nix.yml

on: pull_request
pre_job
8s
pre_job
Matrix: develop
nix_post_job
2s
nix_post_job
Fit to window
Zoom out
Zoom in