change type of buildRetries to int that allows 0 values

This commit is contained in:
Jörg Thalheim 2024-07-09 12:01:06 +02:00
parent ffabc831bb
commit 6dab953092

View file

@ -76,7 +76,7 @@ in
''; '';
}; };
buildRetries = lib.mkOption { buildRetries = lib.mkOption {
type = lib.types.ints.positive; type = lib.types.int;
default = 1; default = 1;
description = "Number of times a build is retried"; description = "Number of times a build is retried";
}; };