changeset 57:404117389b5a

move gcc-debian-qt5 to jwe-debian-x86_64-5 worker
author John W. Eaton <jwe@octave.org>
date Fri, 13 Oct 2023 09:48:01 -0400
parents cd5932f2ce0e
children 5fac866c52dd
files master.cfg
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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",