DGNum/infrastructure
13
6
Fork 3
Code Issues 20 Pull requests 8 Projects 1 Releases Packages Wiki Activity Actions

chore(pre-commit): Update the list of ignored files

Browse source
This commit is contained in:
Tom Hubrecht 2024-09-20 11:27:33 +02:00
parent dcb0c3591e
commit 6f41443cf5
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
default.nix
View file

@ -49,7 +49,7 @@ let
enable = true; enable = true;
stages = [ "pre-push" ]; stages = [ "pre-push" ];
settings.ignore = [ settings.ignore = [
"lon.nix" "**/lon.nix"
"**/npins" "**/npins"
]; ];
}; };