customize

2023-08-04 20:55:34 +00:00 · 2023-08-04 20:55:34 +00:00 · 72fc43bb1c
commit 72fc43bb1c
parent 3d0870d431
1 changed files with 1 additions and 1 deletions
--- a/master.cfg
+++ b/master.cfg
@ -73,7 +73,7 @@ if GITEA_SECRET:
            name="all-gitea",
            change_filter=util.ChangeFilter(branch="main"),
            treeStableTimer=None,
-            builderNames=["runtests"],
+            builderNames=["runtests-gitea"],
        )
    )
 c["schedulers"].append(