buildbot: set treeStableTimer

Otherwise we build every commit
This commit is contained in:
Jörg Thalheim 2023-11-04 12:00:59 +01:00
parent 4acc8695e1
commit 0e52cdf81f

View file

@ -603,6 +603,7 @@ def config_for_project(
== c.properties.getProperty("github.repository.default_branch"),
),
builderNames=[f"{project.name}/nix-eval"],
treeStableTimer=5,
),
# this is compatible with bors or github's merge queue
schedulers.SingleBranchScheduler(