commit 780b668d244d3577ba0fce8bb04e2440372e278d parent ff18c56c3370e10a0503fc5418739e2f42c6a162 Author: Christian Grothoff <christian@grothoff.org> Date: Mon, 24 Feb 2020 17:01:46 +0100 needs deployment Diffstat:
| M | buildbot/master.cfg | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildbot/master.cfg b/buildbot/master.cfg @@ -486,7 +486,7 @@ LINT_FACTORY.addStep( ) ) -CHECKER_FACTORY = util.BuildFactory() +CHECKER_FACTORY = create_factory_with_deployment() CHECKER_FACTORY.addStep( ShellCommand( name="fetch gnunet.org sources",