# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1697204881 14400
# Node ID 404117389b5acca17416c73f4cdd59bc1e5985db
# Parent  cd5932f2ce0e2d83beb05326f6c56a6ccc985eac
move gcc-debian-qt5 to jwe-debian-x86_64-5 worker

diff -r cd5932f2ce0e -r 404117389b5a master.cfg
--- a/master.cfg	Mon Oct 09 13:58:01 2023 -0400
+++ b/master.cfg	Fri Oct 13 09:48:01 2023 -0400
@@ -570,7 +570,7 @@
                                      factory = mk_gcc_factory (19, [], "-j16", "default")))
 
 c["builders"].append (BuilderConfig (name = "gcc-debian-qt5",
-                                     workernames = ["jwe-debian-x86_64-4"],
+                                     workernames = ["jwe-debian-x86_64-5"],
                                      factory = mk_octave_factory (19, "--with-qt=5", "-j16", "default")))
 
 c["builders"].append (BuilderConfig (name = "gcc-lto-debian",