Skip to content

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

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

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

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

nix.yml

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